document.write('1004');
document.write('');