var ns6=document.getElementById&&!document.all
var ie=document.all

function navigateTo(selectBox) {
  var url = selectBox.options[selectBox.selectedIndex].value
  if (url != 'refresh') { document.location.href = url; }
  if (url == 'refresh') { document.location.href = '/'; } }

function changeto(e,highlightcolor,element){
  var TRhighlightbehavior=element
  source=ie? event.srcElement : e.target
  if (source.tagName=="TABLE") return
  while(source.tagName!=TRhighlightbehavior && source.tagName!="HTML")
    source=ns6? source.parentNode : source.parentElement
    if (source.style.backgroundColor!=highlightcolor&&source.id!="ignore")
      source.style.backgroundColor=highlightcolor }

function changeback(e,originalcolor){
  if (ie&&(event.fromElement.contains(event.toElement)||source.contains(event.toElement)||source.id=="ignore")||source.tagName=="TABLE") return
  else if (ns6&&(contains_ns6(source, e.relatedTarget)||source.id=="ignore")) return
  if (ie&&event.toElement!=source||ns6&&e.relatedTarget!=source)
    source.style.backgroundColor=originalcolor }