function change1(id) {

    document.getElementById(id).src = 'images/b_'+id+'_h.gif';

}


function change2(id) {

    document.getElementById(id).src = 'images/b_'+id+'.gif';

}


function change1jpg(id) {

    document.getElementById(id).src = 'images/'+id+'_h.jpg';

}


function change2jpg(id) {

    document.getElementById(id).src = 'images/'+id+'.jpg';

}



function popup(URL,w,h) {

  Fenster = window.open(URL,'Fenster','width='+w+',height='+h+'left=120,top=50');
  Fenster.resizeTo(w,h);
  Fenster.focus();

}