document.write('1947\n');