document.write ('5342');