document.write ('4042');