document.write('1993');
document.write('');