document.write('10001');
document.write('');