Javascript code used by generated pages.