function SetHeaderImages(imageToHighlight) { return SetHeaderImages(imageToHighlight,""); }
function SetHeaderImages(imageToHighlight,path) {
    if (path == undefined) { path = ""; }
    document.getElementById("img_"+imageToHighlight).src = path + "/Images/Header/"+imageToHighlight+"_over.gif"; 
}