function TrimStr(str)
{
  if(str==undefined)
    return "";
  var res=new String(str);
  res.replace(/^[\0- ]+|[\0- ]+$/,'');
  return res;
}

function GetProperties(item)
{
  var res,t;

  res='';
  for(var n in item)
  {
    t=typeof(item[n]);
    if(
      n!='innerText' &&
      n!='outerText' &&
      n!='innerHTML' &&
      n!='outerHTML' &&
      t!='object' &&
      t!='function')
    {
      if(res!='')
        res+=', ';
      res+=n+'('+t+')';
      if(t=='string')
        res+=' = '+item[n];
    }
  }

  return res;
}

//--------------------------------------------------------------------------

