document.write('6702');
document.write('');