document.write('1984');
document.write('');