// JavaScript Document

<!--
function mIn () { return true; }
function mOut () { return true; }
function makeLayer () { return true; }
function flyDefs () { return true; }
if (! document.flyout_disable && (document.layers || document.all || document.getElementById))
    document.write ('<' + 'script src="/ehs/_js/flyout.js" ' +
			'type="text/javascript"><' + "/script>\n");
// -->