document.write('1042');
document.write('');