function popup(url, title, options) {
 fenster=window.open(url, title, options);
 fenster.focus();
 return false;
}

function pagejump(to_url) {
        if (to_url != "") {
        window.location=to_url
        }
}

 breite=150;

function growThumbnail(name)
{

	
		
		document.images[name].width=document.images[name].width*1.9;
		document.images[name].height=document.images[name].height*1.9;
		

}