if(document.images) {  var id1 = 1;  while(eval("window.SDDM_image"+id1+"_highlight_src")) {    (new Image()).src = eval("window.SDDM_image"+id1+"_highlight_src");    id1++;  }};function SDDM_activate(id) {  document.images["SDDM_image"+id].src = eval("window.SDDM_image"+id+"_highlight_src");};function SDDM_deactivate(id) {  document.images["SDDM_image"+id].src = eval("window.SDDM_image"+id+"_src");}