function getElement(id){
	var dom = document.getElementById;
	var iex = document.all;
	var ns4 = document.layers;
	var elem = dom ? document.getElementById(id) : iex ? document.all[id] : ns4 ? eval(nest+"document."+id) : false;
	elem.css = ns4 ? elem : elem.style;
	return elem;
}

function changeTwoFrames(page1, page2){
	document.dude.location=page1;
	document.picFrame.location=page2;
}

function changeTwothings(page1, page2){
	document.dude.location=page1;
	document.sectiontitle.location=page2;
}

function changeLink(newHref, newTitle){
	elem = getElement("altTab");
	elem.href = newHref;
	elem.title = newTitle;
}

function showHide(id, state){
	elem = getElement(id);
	elem.style.display = state;
}

function changeInner(id, text){
	elem = getElement(id);
	elem.innerHTML = text;
}

function changeBGColor(id, color){
	elem = getElement(id);
	elem.style.background = color;
}

function changeColor(id, color){
	elem = getElement(id);
	elem.style.color = color;
}

function jump(id){
	var el = getElement(id);
	var index = el.selectedIndex;
	var value = el.options[index].value;
	window.location.assign(value);
}

function changeNavColor(id, color){
	var default_color = "#666";
	var i=1;
	while(i<=6){
		nav_id = "nav"+i;
		if(i!=id){
			new_color = default_color;
		} else {
			new_color = color;
		}
		changeColor(nav_id, new_color);
		++i;
	}
}