function jsrefresh(url){
	this.location.href=url;
}
function bgact(obj){
	obj.style.backgroundImage="url(layout/button_b.gif)";
}
function bgdeact(obj){
	obj.style.backgroundImage="url(layout/button_a.gif)";
}

function picact(obj){
	obj.src=(obj.src.substr(0,(obj.src.length-5)))+"b.png";
}
function picdeact(obj){
	obj.src=(obj.src.substr(0,(obj.src.length-5)))+"a.png";
}


function img_popup(datei,x,y){
	x=x+20;
	y=y+20;
	F1 = window.open('img_popup.php?url='+datei, "title", "width="+x+",height="+y+",left=0,top=0");
}