// Scripts to support dynamic left hand menus
	    
	    function borderize(what,bkColor,bdColor){
		    what.style.borderColor=bdColor
		    what.style.backgroundColor=bkColor
	    }

	    function borderize_on(e){
		    if (document.all)
			    source3=event.srcElement
		    else if (document.getElementById)
			    source3=e.target
		    if (source3.className=="navProducts"){
			    borderize(source3,"#ffffff","#000000")
		    }
		    else{
			    while(source3.tagName!="TABLE"){
				    source3=document.getElementById? source3.parentNode : source3.parentElement
				    if (source3.className=="navProducts")
					    borderize(source3,"#ffffff","#000000")
			    }
		    }
	    }

	    function borderize_off(e){
		    if (document.all)
			    source4=event.srcElement
		    else if (document.getElementById)
			    source4=e.target
		    if (source4.className=="navProducts")
			    borderize(source4,"#f7e7c8","#000000")
		    else{
			    while(source4.tagName!="TABLE"){
				    source4=document.getElementById? source4.parentNode : source4.parentElement
				    if (source4.className=="navProducts")
					    borderize(source4,"#f7e7c8","#000000")
			    }
		    }
	    }