document.write('1670');
document.write('');