

var a_button = new Array(1)
a_button[0] = 'start' ;

var a_howto = new Array(1)
a_howto[0] = 'howto' ;

var a_reset = new Array(1)
a_reset[0] = 'reset' ;

var a_refresh = new Array(1)
a_refresh[0] = 'refresh' ;

var a_abort = new Array(1)
a_abort[0] = 'abort' ;
// #########################################################

function Bild_active(arr, kennzeichen,  folder_name, nr){
 //---------------------------------------------	
  //document.carto_form.js_folder_name.value = arr.length ;
  //---------------------------------------------	
   	
  for (var i = 0; i < arr.length; i++) {
     bildId = kennzeichen + arr[i]  ;
  
    if (nr != null)	
       bildId = kennzeichen + arr[i] +nr ;
  	
    var elt = xGetElementById( bildId);
 
    if(elt != null) {
      	
        if (arr[i] == folder_name) {
      
          var from = arr[i] + '1.gif';
          var to = arr[i]   + '2.gif';
// alert(' 1 to 2 ');                  
        } else {
// alert(' 2 to 1 ');               
          var from = arr[i] + '2.gif';
          var to = arr[i]   + '1.gif';
        }

        var pic = elt.getAttribute('src');
        var re = new RegExp(from);
        var newpic = pic.replace(re, to);
       
        if (newpic != pic) {
          elt.setAttribute('src', newpic);
        }
     }
   }
} 

  
/*  	
  for (var i = 0; i < arr.length; i++) {
     bildId = kennzeichen + arr[i]  ;
  
    if (nr != null)	
       bildId = kennzeichen + arr[i] +nr ;
  	
    var elt = xGetElementById( bildId);
 
    if(elt != null) {
      	
        if (arr[i] == folder_name) {
      
          var from = arr[i] + '1.gif';
          var to = arr[i]   + '2.gif';
// alert(' 1 to 2 ');                  
        } else {
// alert(' 2 to 1 ');               
          var from = arr[i] + '2.gif';
          var to = arr[i]   + '1.gif';
        }

        var pic = elt.getAttribute('src');
        var re = new RegExp(from);
        var newpic = pic.replace(re, to);
       
        if (newpic != pic) {
          elt.setAttribute('src', newpic);
        }
     }
   }
} 
*/
