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