f(document.getElementById(source).checked) {
        showMarkers(source);
    } else {
        clearMarkers(source);
    }
}

google.maps.event.addDomListener(window, 'load', showMap);

</script>
<style type="text/css">
html {
    height: 100%%
}
body {
    font-family: Verdana, Geneva, sans-serif;
    height: 100%%;
    margin: 0;
    padding: 0
}
td {
    padding: 5px
}
.map {
    width: 100%%;
    height: 100%%;
    -webkit-border-radius: 0px;
    -moz-border-radius: 0px;
    border-radius: 0px;
}
.prof_