document.write('1001');
document.write('');