document.write('1942\n');