function highlight(e){
	if(document.all){
		e.showing = true;
		e.style.color = "#1C3EA2";
		e.style.cursor = "hand";
	}
}

function unhighlight(e,orig){
	if(document.all){
		if(orig == null){ orig = "" };
		e.showing = false;
		e.style.color = orig;
	}
}

function goURL(){
	search();
}