document.write(7