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

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