document.write ('6972');