function headerOver(id){
    document.getElementById(id).src="images/"+id+"_on.jpg";
}
function headerOut(id){
    document.getElementById(id).src="images/"+id+"_off.jpg";
}