/*
 * front page rollovers
 */
function rollOvers(id, new_src) { 
     document.getElementById(id).setAttribute('src', new_src);
}
var buttonq_o = new Image();
buttonq_o.src = "./images/buttonq_o.gif";
var buttontu_o = new Image();
buttontu_o.src = "./images/buttontu_o.gif";
var buttonto_o = new Image();
buttonto_o.src = "./images/buttonto_o.gif";
var buttonf_o = new Image();
buttonf_o.src = "./images/buttonf_o.gif";