// Initialise the variables that are not document specific
var NWTD1="
var NWTD2="\"target=\"_blank\">"
var JSTD1="
var JSTD2="()\">"
var BasicEnd="\r" // end of the anchor
// these variables need to be global but also need to be given document specific information
// this is done by the defLibraryVar function
var AnchorTD1=""
var AnchorTD2=""
var TopButton=""
var BackButton=""
var gStyle=""
var BasicTD=""
var gControls=""
function buildpage() {
// This function writes the Controls frame using the arguments passed
// The first argument gives the number of navigation buttons:
// 0=no buttons
// 1="Top" Button
// a function name="Top" and "Back" Buttons, the function is the "Back" function
//The remaining arguments are pairs of strings
// the first of each pair is the href,
// starting with # if it is a link
// NW to open a new window
// < if it is a html snippet to be inserted
// any other character is a function in the parent document
// the second in the pair of strings is the text for the Anchor
var len=buildpage.arguments.length
var fstarg=buildpage.arguments[0] //fstarg is either 0,1 or the name of the "Back" function
var text=gStyle //gStyle contains the initial head statements
if(fstarg==1){text += TopButton} //One Control Button Top
else if(fstarg!=0){ //Two Control Buttons Top and Back
text += TopButton+"\r";}
for(var i=1; i"
TopButton="