// start frame catcher
setTimeout ("changePage()", 0);
function changePage(){
    if (self.parent.frames.length != 0)
        self.parent.location = document.location;
} // end

// start menu arrows
function imgover(imgname){
    imgname.src = "graphics/arrow_on.gif";
}
function imgout(imgname){
    imgname.src = "graphics/arrow_off.gif";
} // end