if (history.length != null) document.writeln("<B>The number of web pages you have vistited this session in this window is:</B><SPAN CLASS=ver11pxbrn> " +  history.length + "</SPAN><BR><BR>");