void cgitheme_init(); void cgitheme_close(); char *get_act_theme();