<!--

document.write (
	"<table width=100% cellpadding=5 cellspacing=5 border=0>" +
	"<tr><td width=200><h3>Enforcement menu</h3></td></tr>" +
	"<tr><td width=200><a href='repair.html'>Repair</a></td></tr>" +
	"<tr><td width=200><a href='enforce-5709.html'>Limitations</a></td></tr>" +
	"<tr><td width=200><a href='obstruct.html'>Obstruction</a></td></tr>" +
	"<tr><td width=200><a href='divert.html'>Diversion</a></td></tr>" +
	"<tr><td width=200><a href='width.html'>Width in Orders</a></td></tr>" +
	"<tr><td width=200><a href='seymour.html'>Seymour Papers</a></td></tr>" +
	"<tr><td width=200><a href='main.html'>Main Office</a></td></tr>" +
	"<tr><td width=200><a href='admin.html'>Navigation Help</a></td></tr>" +
    "</table>"   );
//-->
