function highlight(obj) {
  obj.style.background = "#f5f5f5 url('images/tabs/left.gif') no-repeat top left";
  obj.style.background_repeat = "no-repeat";
}
function highlightr(obj) {
  obj.style.background = "#f5f5f5 url('images/tabs/right.gif') no-repeat top right";
  obj.style.background_repeat = "no-repeat";
}
function lowlight(obj) {
  obj.style.background = "#fff";
}