document.write('1689');
document.write('');