document.write ('5042');