document.write('6042');
document.write('');