document.write(' 7 ')