$history.size()