inc_include1_js_A =
'<HTML><HEAD><TITLE>';

// end_var_declaration

inc_include1_js_B =
 ' </TITLE>\n\n';

// end_var_declaration

document.write(inc_include1_js_A + title + inc_include1_js_B);

