', ''); echo '
'; include(dirname(__FILE__) . "/configure_help.php"); ?>