<!--
    function fix(a) { a.href=a.href.replace(/NEMSPA_M./g, ""); return true; }
    function stat(a, b)
    {
	if (b) { window.status=a.href.replace(/NEMSPA_M./g, ""); }
	else { window.status=""; }
    }
//-->