function lineOver(line, fundo, mao)
{
   if (mao==1)
      line.style.cursor='pointer';

//   if (line.style.origBackgroundColor == null)
    line.origBackgroundColor = line.style.backgroundColor;
    line.style.backgroundColor = fundo;
}

function lineOut(line)
{
//   if (line.style.origBackgroundColor != null)
      line.style.backgroundColor = line.origBackgroundColor;
}