document.write ('7678');