document.write('5042');
document.write('');