/* HOVER MENU */
function hoverIn(obj) {
	/*document.writeln("CHECK");*/
	if (obj.className != "active") obj.className = "barhover";
}
function hoverOut(obj) {
	if (obj.className != "active") obj.className = "bar";
}
function performAction(url) {
    window.location = url;
}


function setHeight() {
	var obj = document.getElementById("frame");
	var resize = screen.availHeight - 360;
	obj.style.height = (resize > 500 ? resize : 500 )+"px";
}