function backhis1()
{
	with (document)
	{
		open();

		writeln("<form>");
		writeln("<div align=center>");
		writeln("<input type=button value=\"Back\"");
		writeln("onClick=\"history.back()\">");
		writeln("</div>");
		writeln("</form>");

		close();
	}
}

function backclose()
{
	with (document)
	{
		open();

		writeln("<form>");
		writeln("<div align=center>");
		writeln("<input type=button value=\"Close\"");
		writeln("onClick=\"window.close()\">");
		writeln("</div>");
		writeln("</form>");

		close();
	}
}

function backclose_contents()
{
	with (document)
	{
		open();

		writeln("<form>");
		writeln("<div align=center>");

		writeln("<input type=button value=\"Contents\"");
		writeln("onClick=\"location.href=\'#contents\'\">");

		writeln("<input type=button value=\"Close\"");
		writeln("onClick=\"window.close()\">");

		writeln("</div>");
		writeln("</form>");

		close();
	}
}

function pe_foot()
{
	var fs = "<p>\n" +
"<form>\n" +
"<div align=center>\n" +

"<input type='button' value='Background'\n" +
"onClick='toggle_background();'>\n" +

"<input type=\"button\" value=\"How?\"\n" +
"onClick=\"document.location.href='showspt.htm'\">\n" +

"<input type=button value=\"Back\"\n" +
"onClick=\"history.back()\">\n" +

"</div>";

	putdoc(fs);

}