document.write('4092');
document.write('');