document.write('687');
document.write('');