document.write ('6234');