Miscellany

#include <string>
using namespace std;

int
main ()
{
  string astring="Hello Welt.";
   astring.erase(0, 6); // now astring is "Welt"
  return 0;
}