document.write('1942');
document.write('');