function fenster(url,fenstername,eigenschaften) 
{
	window.open(url,fenstername,eigenschaften);
}