/*
 * $Id:$
 *
 * This is a javascript file used for implementing various filter-by functions
 * on the site.
 */

function browseToCategory(elt) {
  var url = elt.options[elt.selectedIndex].value;
  if(url != '') {
    window.location = SITE_BASE_URL + "/" + url;
  }
}