document.write('1943');
document.write('');