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

var urls=new makeArray("",
                         "../choice.htm",
                         "message.shtml",
                         "114.shtml",
                         "120.shtml",
                         "212.shtml",
                         "216.shtml",
                         "510.shtml",
                         "520.shtml",
                         "4000.shtml");