document.write('6242');
document.write('');