function m(nr,zustand) {
        if (zustand=="0" && sel!=nr) {document.images['menu'+nr].src = "grafik/m"+nr+".gif";}
        if (zustand=="1" && sel!=nr) {document.images['menu'+nr].src = "grafik/m"+nr+"b.gif";}
}
function suche(e,v) {
	var k;
	if (window.event) k = window.event.keyCode;
	else if (e) k = e.which;

	if(k == 13) {
		location.href="index.php?id=3&subid=3&suche="+v;	
	}

}