function ords2str(ords)
{
  var str = '';
  for (var i=0; i<ords.length; i++)
  {
    str += String.fromCharCode(ords[i]);
  }
  return str;
}