document.write ('5675');