document.write ('7234');