function User(element){
  this.id=element.getAttribute('id');
  this.name=innerTextContent(element.getElementsByTagName('name').item(0));
  if(element.getElementsByTagName('points').length){
    this.points=innerTextContent(element.getElementsByTagName('points').item(0));
  }else{
    this.points=undefined;
  }
}

function User_to_html(user, container){
  var a=document.createElement('a');
  a.innerHTML=user.name;
  a.setAttribute('href', '/user/#'+user.id); 
  container.appendChild(a);
}