// This array holds the URLs of the pages...

var urls=new makeArray("",
                         "message.php",
                         "114.php",
                         "120.php",
                         "125.php",
                         "140.php",
                         "150.php",
                         "151.php",
                         "2000.php",
                         "210.php",
                         "220.php",
                         "219a.php",
                         "260.php",
                         "270.php",
                         "410.php",
                         "285.php",
                         "3000.php",
                         "310.php",
                         "320.php",
                         "370.php",
                         "380.php",
                         "390.php",
                         "400.php",
                         "406.php",
                         "470.php",
                         "480.php",
                         "218c.php",
                         "510.php",
                         "520.php",
                         "540.php",
                         "550.php",
                         "570.php",
                         "4000.php",
                         "supplemental.php",
                         "glossary.php");