#line 1 "mauke"






main = print 7 -- should print 7