// below is for "portable menu" snippetfunction setVariables()      {if (navigator.appName == "Netscape") {     v=".top=";     dS="document.";     sD="";     y="window.pageYOffset";}if (document.getElementById){      //Netscape 6 + IE 5 specific code      v=".top=";      dS = "document.getElementById(\'";      sD = "\').style";      y="window.pageYOffset";   }  if (document.all){      //IE4+5 specific code      v=".pixelTop=";      dS = "";      sD = ".style";      y="document.body.scrollTop";   }}function checkLocation() {     object="object1";     xx=0;     yy=xx+eval(y); // distance from top of page     eval(dS+object+sD+v+yy);     setTimeout("checkLocation()",10);}function info_links(title,labelsarray,truearray) {var linkArray = document.location.pathname.split("\/");var lastlink = linkArray[(linkArray.length - 1)];document.write('<td width=\"100%\">');document.write('<p class=\"bcm\">'); document.write('<a href=\"..\/index.html\">frontpage</a> &#58; <a class=\"bcm\" href=\"../infocont.html\">tips &amp; info</a> &#58; <b>' + title + '<nobr>');for(link in truearray) {              if (lastlink == truearray[link]) {                    document.write('<img src=\"../pix/1.gif\" height=\"1\" width=\"8\">' + labelsarray[link]);                    }               else {                    document.write('<img src=\"../pix/1.gif\" height=\"1\" width=\"8\"><a href=\"' +  truearray[link] + '\" class=\"lefty\">' + labelsarray[link] + '</a>');               }           }document.write('</nobr></p>');}function openWin(url, name)      {  popupWin = window.open(url, name,'width=600' + ',height=440' + 'toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=yes,resizable=no,copyhistory=yes,left=60,top=240')     }if (document.images) {  image1on = new Image();  image1on.src =  "pix/picko.gif";  image2on = new Image();  image2on.src = "pix/infoo.gif";  image3on = new Image();  image3on.src = "pix/demoo.gif";  image4on = new Image();  image4on.src = "pix/conto.gif";  image5on = new Image();  image5on.src =  "pix/frontfo.gif";  image6on = new Image();  image6on.src = "pix/scriptsfo.gif";  image7on = new Image();  image7on.src = "pix/infofo.gif";  image8on = new Image();  image8on.src = "pix/furtfo.gif";  image1off = new Image();  image1off.src = "pix/pickr.gif";  image2off = new Image();  image2off.src = "pix/infor.gif";  image3off = new Image();  image3off.src = "pix/demor.gif";  image4off = new Image();  image4off.src = "pix/contr.gif";  image5off = new Image();  image5off.src = "pix/frontfr.gif";  image6off = new Image();  image6off.src = "pix/scriptsfr.gif";  image7off = new Image();  image7off.src = "pix/infofr.gif";  image8off = new Image();  image8off.src = "pix/furtfr.gif";}function changeImages() {  if (document.images) {    for (var i=0; i<changeImages.arguments.length; i+=2) {      document[changeImages.arguments[i]].src = eval(changeImages.arguments[i+1] + ".src");    }  }}function makeArray() {var args = makeArray.arguments;for (var i = 0; i < args.length; i++) {this[i] = args[i];}this.length = args.length;}function fixDate(date) {var base = new Date(0);var skew = base.getTime();if (skew > 0)date.setTime(date.getTime() - skew);}function getString(date) {var months = new makeArray("January","February","March","April","May","June","July", "August","September","October","November","December"); var datenum = new makeArray("","1","2","3","4","5","6","7","8","9","10","11","12","13","14","15","16","17","18","19","20","21","22","23","24","25","26","27","28","29","30","31"); var dateday = new makeArray("Sun","Mon","Tues","Wednes","Thurs","Fri","Satur"); return " as of " + dateday[date.getDay()] + "day, <br>" + months[date.getMonth()] + " " + datenum[date.getDate()] + ", 2000."; }