// functions generated by php //////////////////////////////////////////////////////////////////////////////// function phpCategoryFilter(){ var Category = document.CategorySelector.CategorySelect.selectedIndex; var DisplayDay = document.DisplayVars.DisplayDay.value; var DisplayMonth = document.DisplayVars.DisplayMonth.value; var DisplayYear = document.DisplayVars.DisplayYear.value; var DisplayVenue = document.DisplayVars.DisplayVenue.value; var DisplayGenre = document.DisplayVars.DisplayGenre.value; var DisplayRange = document.DisplayVars.DisplayRange.value; var Host = window.location.host; var Path = window.location.pathname; var Proto = window.location.protocol; Host = Proto +"//"+Host+Path; var DisplayCategory = "ALL"; switch(Category) { case 0: DisplayCategory="ALL"; break; case 1: DisplayCategory="CENT"; break; case 2: DisplayCategory="CLOS"; break; case 3: DisplayCategory="COF"; break; case 4: DisplayCategory="DARKW"; break; case 5: DisplayCategory="DOC"; break; case 6: DisplayCategory="COMM"; break; case 7: DisplayCategory="DIR"; break; case 8: DisplayCategory="HIGH"; break; case 9: DisplayCategory="INTL"; break; case 10: DisplayCategory="MVID"; break; case 11: DisplayCategory="NAR"; break; case 12: DisplayCategory="OPEN"; break; case 13: DisplayCategory="PAN"; break; case 14: DisplayCategory="SHOR"; break; case 15: DisplayCategory="SPSCR"; break; case 16: DisplayCategory="SPOT"; break; } window.location = Host + "?Day=" + DisplayDay + "&Month=" + DisplayMonth + "&Year=" + DisplayYear + "&FilterVenue=" + DisplayVenue + "&Category=" + DisplayCategory + "&Genre=" + DisplayGenre + "&Range=" + DisplayRange; } //////////////////////////////////////////////////////////////////////////////// function phpVenueFilter() { var Venue = document.VenueSelector.VenueSelect.selectedIndex; var DisplayDay = document.DisplayVars.DisplayDay.value; var DisplayMonth = document.DisplayVars.DisplayMonth.value; var DisplayYear = document.DisplayVars.DisplayYear.value; var DisplayCategory = document.DisplayVars.DisplayCategory.value; var DisplayGenre = document.DisplayVars.DisplayGenre.value; var DisplayRange = document.DisplayVars.DisplayRange.value; var Host = window.location.host; var Path = window.location.pathname; var Proto = window.location.protocol; Host = Proto +"//"+Host+Path; var DisplayVenue="ALL"; switch(Venue) { case 0: DisplayVenue="ALL"; break; case 1: DisplayVenue="SU8"; break; case 2: DisplayVenue="ARC"; break; case 3: DisplayVenue="ARG"; break; case 4: DisplayVenue="DGA"; break; case 5: DisplayVenue="DG1"; break; case 6: DisplayVenue="DG2"; break; case 7: DisplayVenue="DGV"; break; case 8: DisplayVenue="HAC"; break; case 9: DisplayVenue="ENC"; break; case 10: DisplayVenue="PAS"; break; case 11: DisplayVenue="LS1"; break; case 12: DisplayVenue="LS2"; break; case 13: DisplayVenue="LS3"; break; case 14: DisplayVenue="ORP"; break; case 15: DisplayVenue="PAC"; break; case 16: DisplayVenue="SHO"; break; case 17: DisplayVenue="FOR"; break; case 18: DisplayVenue="WAD"; break; } window.location = Host + "?Day=" + DisplayDay + "&Month=" + DisplayMonth + "&Year=" + DisplayYear + "&FilterVenue=" + DisplayVenue + "&Category=" + DisplayCategory + "&Genre=" + DisplayGenre + "&Range=" + DisplayRange; } //////////////////////////////////////////////////////////////////////////////// function phpGenreFilter(){ var Genre = document.GenreSelector.GenreSelect.selectedIndex; var DisplayDay = document.DisplayVars.DisplayDay.value; var DisplayMonth = document.DisplayVars.DisplayMonth.value; var DisplayYear = document.DisplayVars.DisplayYear.value; var DisplayVenue = document.DisplayVars.DisplayVenue.value; var DisplayCategory = document.DisplayVars.DisplayCategory.value; var DisplayRange = document.DisplayVars.DisplayRange.value; var Host = window.location.host; var Path = window.location.pathname; var Proto = window.location.protocol; Host = Proto +"//"+Host+Path; var DisplayGenre = "ALL"; switch(Genre) { case 0: DisplayGenre="ALL"; break; case 1: DisplayGenre="LATIN"; break; case 2: DisplayGenre="ASIAN"; break; case 3: DisplayGenre="AFRIC"; break; case 4: DisplayGenre="FAMIL"; break; case 5: DisplayGenre="GAYLE"; break; case 6: DisplayGenre="MUSIC"; break; } window.location = Host +"?Day=" + DisplayDay + "&Month=" + DisplayMonth + "&Year=" + DisplayYear + "&FilterVenue=" + DisplayVenue + "&Category=" + DisplayCategory + "&Genre=" + DisplayGenre + "&Range=" + DisplayRange; } //////////////////////////////////////////////////////////////////////////////// function phpSetFilters() { //set the selected venue var numElems = document.VenueSelector.VenueSelect.length; var Sel = document.DisplayVars.DisplayVenue.value; for (i=0;i