document.write('1242');
document.write('');