document.write ('7 ');