//Wie ist die Dateieendung?
format = "png";

//Wo liegen die Bilder (relativ zu der Datei die dieses Script laedt)
pfad = "./wp-content/themes/scheidtDesign/images/buttons/";


function m_over(name) {
  document.getElementById(name).src = pfad + name + "_mo." + format;
}

function m_out(name) {
  document.getElementById(name).src = pfad + name + "." + format; 
}