document.write('1993\n');