echo "hallo\n";