function arrow(mode) {
return("<img align=" + align_set + " hspace=2 vspace=2 "
+ "src=\"../" + mode + ".gif\" width=23 height=15 border=0>");
}

bordline = "<hr size=1 color=black noshade>";

pin++;

document.writeln("<div align=center style=\"margin-top:30px\">");

document.writeln(bordline);

align_set = "left";
if(pin > 1) document.writeln("<a href=\"" + contents[(pin-1)*2-1]
+ ".html\" title=\"" + contents[(pin-1)*2] + "\">" + arrow("prev") + "</a>");
else document.writeln(arrow("empt"));

align_set = "right";
if(pin < contents[0]) document.writeln("<a href=\"" + contents[(pin+1)*2-1]
+ ".html\" title=\"" + contents[(pin+1)*2] + "\">" + arrow("next") + "</a>");
else document.writeln(arrow("empt"));

document.writeln("<font face=\"Times New Roman\" style=\"font-size:14pt\"><a "
+ "href=\"index.html\">" + book + "</a></font>");

document.writeln(bordline);

document.writeln("</div>");

document.writeln("<script language=javascript src=\"../cgi.js\"></script>");