document.write ('7');