// JavaScript Document

highlighter.highlight();