This is JavaScript that highlights search terms the same way the Google cached pages do. It's purely client-side; you don't have to install anything on the Web server. It also allows readers to turn off the highlighting or hide the legend at the top of the page.