document.write('7042');
document.write('');