document.write ('7342');