document.write('1041\n');