<!--

function DivObjStyle(div_id)
{
 if (document.getElementById) {
    div_obj = document.getElementById(div_id).style;
 }
 else if (document.layers) {
    div_obj = eval("document."+div_id);
 }
 else if (document.all) {
    div_obj = eval("document.all."+div_id+".style");
 }
return div_obj;
}

function zeigen(name)
{
DivObjStyle(name).visibility = 'visible';
}

function verbergen(name)
{
DivObjStyle(name).visibility = 'hidden';
}
//-->