// JavaScript Document

<!-- 

function getObject(id){
	if(document.getElementById&&document.getElementById(id)){
		return document.getElementById(id)
	}else if(document.all&&document.all(id)){
		return document.all(id)
	}else if(document.layers&&document.layers[id]){
		return document.layers[id]
	}else{
		return false
	}
}

function setPage(){
	sp=location.href.toLowerCase();
	if(sp.indexOf('.htm')==-1){sp+='default.htm'}
	for(sc=1;sc<=6;sc++){
		so=getObject('nav'+sc).href.toLowerCase();
		if(so==sp){
			getObject('nav'+sc).className='current';
		}
	}
}

-->