document.write('6612');
document.write('');