document.write('6002');
document.write('');