// JavaScript Document

function highTab(id) {
	var thetab = document.getElementById(id);
	thetab.style.height = "35px";
}

function lowTab(id) {
	var thetab = document.getElementById(id);
	thetab.style.height = "25px";
}