document.write ('5142');