document.write('1687');
document.write('');