function suchemaske(inhalt)
{
    
    if(document.suchemaske_form.maske_check.checked == true)
    {
        document.indexsuche_formular.maske_trees.value = inhalt;
    }
    else document.indexsuche_formular.maske_trees.value = "";


}