function val_out(val)
{
	var val_str;
	
	val_str=round_val(val);
	val_str=thousand_sep(val_str);
	
	return val_str;
}

function round_val(val)
{
	var comma = (Math.round(val * 100) / 100).toString();
	comma += (comma.indexOf('.') == -1)? '.00' : '00';
	var dot = comma.indexOf('.');
	return comma.substring(0,dot) + ',' + comma.substring(dot+1,dot+3);
  }

function thousand_sep(val)
{
	var t = val;
	while (t.search(/\d{4}/) != -1)
	{
		t = t.replace(/(\d+)(\d{3})/, "$1.$2");
	}
	return t;
}