document.write('6672');
document.write('');