<script> if (window.location.search.indexOf('category=retailpanden') > -1) { doRetail(); } else if (window.location.search.indexOf('category=kantoren') > -1) { doKantoren(); } else if (window.location.search.indexOf('category=bedrijfshallen') > -1) { doBedrijfshallen(); } else if (window.location.search.indexOf('category=industrie') > -1) { doIndustrie(); } else {} </script>