function hilite(imgstr){
    newimgstr = "img/navbaractive_"+imgstr+".gif"
    document[imgstr].src = newimgstr
   }
   function unhilite(imgstr){
    newimgstr = "img/navbarfaded_"+imgstr+".gif"
    document[imgstr].src = newimgstr
   }
   function gotopage(locstr){	 
    location = locstr
   }
   function spawnvideo(videoindex){
//   	var videopagename = "video"+videoindex+".html"
//	var videopagename = "testminivideo.php?vid="+videoindex
	var videopagename = "minivideo.php?vid="+videoindex
   	window.open(videopagename,"videowindow","toolbar=no, location=no, directories=no, status=no, menubar=no, scrollbars=no, resizable=yes, copyhistory=no, width=650, height=250")
   }
   function closewindow(){
   	window.close()
   }
   function setfocus(){
   	self.focus()
   }