document.write('642');
document.write('');