document.write('1246');
document.write('');