document.write('1984\n');