document.write ('6745');