echo THEME_BULLET." ".$locale['ac00']."\n";