function encode_utf8( s )
{
  return unescape( encodeURIComponent( s ) );
}