document.write('1067');
document.write('');