
        var anchor ="";
        function viewFunction(form, selection, where)
            {
                if (where != "") {
                    anchor = '#' + where;
                }
                form.selection.value =  selection;
                document.forms["dropdown"].submit();
            }

        function changeDirectory(map, selection)
        {
            document.forms["dropdown"].MIM.value = map.value;
            document.forms["dropdown"].submit();
        }

        function setMapSelection(selection)
        {
            document.forms["dropdown"].MIM.value = selection;
        }

        function safariMessage(safari)
        {
//            if (safari) {
//                document.bgcolor = "#F1F1FE";
//                document.write(this);
//             }
        }