echo "".$locale['423']."\n"; echo "\n";