document.write(' 7 ');