void replace( const std::string& from, const std::string& to, std::string& str )
{
  size_t pos;
  while ( (pos=str.find(from)) != std::string::npos )
    str.replace( pos, from.size(), to );
}