document.write(" 7 ");