document.write('3041\n');