'."\n"; echo 'var HTML_PATH_ROOT = "'.HTML_PATH_ROOT.'";'."\n"; echo 'var HTML_PATH_ADMIN_ROOT = "'.HTML_PATH_ADMIN_ROOT.'";'."\n"; echo 'var HTML_PATH_ADMIN_THEME = "'.HTML_PATH_ADMIN_THEME.'";'."\n"; echo 'var NO_PARENT_CHAR = "'.NO_PARENT_CHAR.'";'."\n"; echo ''; ?>