<!-- Hide this script from non-JavaScript-enabled browsers
// copyright 2001 by Donald Firesmith
function includeOperationsLinks() {
document.write(
'<span class="tiny">',
'       <a href="../OperationsSet.html"><strong>Operations Set:</strong></a>',
'&nbsp; <a href="../OperationsManual/OperationsManual.html">Operations Manual</a>',
'&nbsp; <a href="../OperationsLog/OperationsLog.html">Operations Log</a>',
'</span>'
);
}
// stop hiding -->
