function showdiv(el) {
	document.getElementById(el).style.display = "block";
}
function hidediv(el) {
	document.getElementById(el).style.display = "none";
}
function hlnav(el) {
	document.getElementById(el).className = "tabsblackhl";
}
function nav(el) {
	document.getElementById(el).className = "tabsblack";
}
function unfold(el) {
	Effect.toggle(el, 'slide',{ duration: 2.0 });
	return false;
}