inc_htmlinclude_js =
'<link rel="stylesheet" type="text/css" href="/OELstyle.c'
+ 'ss" title="OEL Styles" />\n<link rel="stylesheet" type="'
+ 'text/css" href="/cssjsmenu.css" />\n<link rel="styleshee'
+ 't" type="text/css" href="/cssjsmenuhover.css" id="hoverJ'
+ 'S" />\n<script type="text/javascript" src="/cssjsmenu.js'
+ '"></script>\n<script type="text/javascript">\n<!--\n  fu'
+ 'nction init()\n  {\n    cssjsmenu(\'oelmenu\');\n    if (d'
+ 'ocument.getElementById)\n    {\n      var kill = documen'
+ 't.getElementById(\'hoverJS\'); \n      kill.disabled = tru'
+ 'e;\n    }\n  }\n  // -->\n</script>';

// end_var_declaration
document.write(inc_htmlinclude_js);