function User(user_id, user_name)
{
	var m_id = user_id;
	var m_name = user_name;

	this.id = function()
	{
		return m_id;
	}

	this.name = function()
	{
		return m_name;
	}
}

User.from_xml = function(xml)
{
	var user_id   = parseInt(xml.getAttribute('user'));
	var user_name = xml.firstChild.nodeValue.trim();

	return new User(user_id, user_name);
}