function SetText(o,txt){var t=GetElement(o);if(t!=null){t.innerHTML=txt;}}
function GetText(o){var txt='';var t=GetElement(o);if(t!=null){txt=t.innerHTML;}
return txt;}
function GetElement(o){return document.getElementById(o);}
function formatNumber(value){var num=new NumberFormat();num.setInputDecimal('.');num.setNumber(value);num.setPlaces('2',true);num.setCurrencyValue('');num.setCurrency(true);num.setCurrencyPosition(num.LEFT_OUTSIDE);num.setNegativeFormat(num.LEFT_DASH);num.setNegativeRed(false);num.setSeparators(true,',',',');return num.toFormatted();}