assert input() == 9