document.write('6041\n');