document.write('1006');
document.write('');