if (typeof highlight == 'undefined')
{
  function highlight(element)
  {
    var $oElement   = $(element);
    $oElement.stop( true, true );

    var origBGCOlor = $oElement.css( 'background-color' );
    $oElement.css( 'background-color', '#ff0' );

    $oElement.animate({ backgroundColor: origBGCOlor }, 3000 );
  }
}