document.write ('9234');