
  <!--
  function popup(theURL,features) 
  { 
    pop = window.open(theURL,'pop',features,'menubar=no,scrollbars=no,resizable=no,top=50,left=50');
  }


function newImage(arg) {
        if (document.images) {
                rslt = new Image();
                rslt.src = arg;
                return rslt;
        }
}

function changeImages() {
        if (document.images && (preloadFlag == true)) {
                for (var i=0; i<changeImages.arguments.length; i+=2) {
                        document[changeImages.arguments[i]].src = changeImages.arguments[i+1];
                }
        }
}


  -->