//List of files which are indexed.
fl = new Array();
fl["0"]= "ar01s01.html";
fl["1"]= "netStageTwo.html";
fl["2"]= "ar01s02.html";