var root = "";
var summary = "IOF2004.html";
var p = new Array(3);
p[0] = "Page";
p[1] = "";
p[2] = "Page";
var r = new Array(21);
r[0] = "Page";
r[1] = "Click on a button next to a symbol; then click on a selection at the right."
r[2] = "Click on a button next to the symbols; then click on a selection at the right."
r[3] = "Check Answers";
r[4] = "Start Over";
r[5] = "Time me";
r[6] = "Lookup";
r[7] = "Summary of IOF revisions";
r[8] = "Common features";
r[9] = "Control details";
r[10] = "Less-common features";
r[11] = "";
r[12] = "Start";
r[13] = "Finish";
r[14] = "Click on a button to see the formal definition.";
r[15] = "Correct: ";
r[16] = "";
r[17] = " ... please continue.";
r[18] = " seconds (excellent time!)";
r[19] = " seconds (a little slow -- try again?)";
r[20] = " seconds";