if (window.self != window.top) window.top.location = window.self.location;

function hoveron(id) {
document.getElementById(id).className="hoveron";
}

function hoveroff(id) {
document.getElementById(id).className="hoveroff";
}