// JavaScript Document

function weiterleitung(url)
{ 
	if(url == ""){ 
	document.forms[0].reset(); 
	document.forms[0].elements[0].blur(); 
	return; 
	} 
	else{ 
	top.location.href = url; 
	document.forms[0].reset(); 
	document.forms[0].elements[0].blur(); 
	} 
} 

function popup(url){
	window.open(url);
}