//               -------------    PARENT PAGE INFORMATION   -------------

//     edit the variables below as follows:
//     change the text in quotes below to contain the name of the file
//     of the parent page
var parentPage = new String("../pkiresources/index.html");

//     change the text in quotes below to contain the title of the parent page
var parentPageTitle = new String("PKI Resources");




//               ---------------  SISTER PAGE INFORMATION  --------------


// VVV do not edit below this line VVV

var sisterPage = new Array();
var sisterPageTitle = new Array();

// ^^^ do not edit above this line ^^^




//     edit the variables below as follows:

//     change the text in the first quote of each line to contain the filename
//     of the sister page (a page in the same level as the current pages).

//     change the text in the second quote of each line to contain the title
//     of the sister page.

//     if more pages are needed, add in additional lines below, following the
//     same format and incrementing the number in the [].

//sisterPage[0] = "princeton_scenario.html"; sisterPageTitle[0] = "Princeton Example";
//sisterPage[1] = "mit_scenario.html"; sisterPageTitle[1] = "MIT Example";
//sisterPage[2] = "gatech_scenario.html"; sisterPageTitle[2] = "Georgia Tech Example";





///                   EOF - END OF JS FILE