
function DoHover(elementhandle)
  { elementhandle.className += '_hover';
  }

function DoActive()
  { element.className += ' active';
  }

function RestoreHover(elementhandle)
  { elementhandle.className = elementhandle.className.replace(/_hover/,'');
  }

function RestoreActive()
  { element.className = element.className.replace(/\bactive\b/,'');
  }
