function mouseOver(id, a_class){
 var x = document.getElementById(id);
 x.setAttribute("class", a_class);
 x.style.textDecoration="underline";
}

function mouseOut(id, a_class){
 var x = document.getElementById(id);
 x.setAttribute("class", a_class);
 x.style.textDecoration="none";
}

function gotoURL(url){
 window.location.href = url;
}