// Buttonaustausch(input)

// Senden-Button für Kontakt

var roll_01 = new Image();
  roll_01.src = " ../img_web/buttons/senden_mo.gif";
var norm_01 = new Image();
  norm_01.src = "../img_web/buttons/senden.gif";

// Senden-Button für Servicetermin

var roll_02 = new Image();
  roll_02.src = " ../../img_web/buttons/senden_mo.gif";
var norm_02 = new Image();
  norm_02.src = "../../img_web/buttons/senden.gif";
  
  function swapButton(arg_number, arg_source){
    arg_number.src = arg_source.src;
  }