document.write('4042');document.write('');