assert input() == 4