There is one nonessential Javascript in this page to automatically load a page as soon as it is chosen in the menu (without needing to hit a button). There are two Javascripts to fix a problem in Internet Explorer with handling the above script.