jquery highlighter

Required for another script