document.write ('5679');