function drop_down_list(value) {
				
        $.getScript("js/destination/" + value.toLowerCase() + ".js", function() {
			
            populate(document.getElementById("HotelDrop"));

        });
      
}

$(document).ready(function() {
drop_down_list("all")
})