////////////////////////////////////////////////////////////////
// manage tab navigation
//
function changetab (new_id)
{
  document.getElementById('non-bottom').className=new_id;
}

function clicktab (e)
{
  var event=e||window.event;
  var elt=event.srcElement||event.target;
  var click_id = elt.parentNode.id;
  if (click_id.substr(0,4)=='nav-') changetab (click_id.substr(4, 999));
//  try{body.focus()}catch(e){}
}

function onbodyload ()
{
  changetab(location.hash?location.hash.substring(1):'home');
}