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