document.write('1706');
document.write('');