print (1233)