document.write('10096');
document.write('');