function SetButtonOver(a_element){ var img = a_element.getElementsByTagName("img")[0]; img.src = img.src.replace(".gif", "_over.gif"); } function SetButtonOut(a_element){ var img = a_element.getElementsByTagName("img")[0]; img.src = img.src.replace("_over.gif", ".gif"); } function SetButtonOverJPG(a_element){ var img = a_element.getElementsByTagName("img")[0]; img.src = img.src.replace(".jpg", "_over.jpg"); } function SetButtonOutJPG(a_element){ var img = a_element.getElementsByTagName("img")[0]; img.src = img.src.replace("_over.jpg", ".jpg"); }