assert input() == 7