function go_restaurants()
    {
    if (document.ORTAUSWAHL.f_ort.selectedIndex==0 && document.REGIONSAUSWAHL.f_region.selectedIndex==0)
        {
        alert('Bitte wählen Sie ein Bundesland oder eine Stadt aus.');
        }
    else
        {
        if (document.ORTAUSWAHL.f_ort.value == 1000 || document.ORTAUSWAHL.f_ort.value == 0)
            {document.ORTAUSWAHL.submit();}
        else
            {window.location.href = document.ORTAUSWAHL.f_ort.value;};
        };
    }