document.write ('4678');