print 3-mai.