//..global.js

//..menu code used for folding menu tree
//..place this in the head tag to use:
//..document.onclick=change

var head="display:''"
img1=new Image()
img1.src="/images/crosshair_up.gif"
img2=new Image()
img2.src="/images/crosshair_down.gif"

function menuChange(){
   if(!document.all)
      return
   if (event.srcElement.id=="foldheader") {
      var srcIndex = event.srcElement.sourceIndex
      var nested = document.all[srcIndex+1]
      if (nested.style.display=="none") {
         nested.style.display=''
         event.srcElement.style.listStyleImage="url(/images/crosshair_down.gif)"
      }
      else {
         nested.style.display="none"
         event.srcElement.style.listStyleImage="url(/images/crosshair_up.gif)"
      }
   }
}

function get_cookie(Name) {
  var search = Name + "="
  var returnvalue = "";
  if (document.cookie.length > 0) {
    offset = document.cookie.indexOf(search)
    // if cookie exists
    if (offset != -1) {
      offset += search.length
      // set index of beginning of value
      end = document.cookie.indexOf(";", offset);
      // set index of end of cookie value
      if (end == -1) end = document.cookie.length;
      returnvalue=unescape(document.cookie.substring(offset, end))
      }
   }
  return returnvalue;
}