function openurl(datei)
{
location.href=datei;
return;
}

function sethref(url)
{
  parent.location.href=url;
  return;
}