document.write('106442');
document.write('');