// JavaScript Document

  <!-- Begin
    function formatCurrency(num)
    {
      num = num.toString().replace(/\ |\,/g,'');
      if(isNaN(num)) 
        num = "0";
      cents = Math.floor((num*100+0.5)%100);
      num = Math.floor((num*100+0.5)/100).toString();
      if(cents < 10) 
        cents = "0" + cents;
      for (var i = 0; i < Math.floor((num.length-(1+i))/3); i++)
        num = num.substring(0,num.length-(4*i+3))+'.'+num.substring(num.length-(4*i+3));
      return (' ' + num + ',' + cents);
	  //return (' ' + num + ',' + cents+' €');
    }
    //  End -->
	
function printPage(){ 
if(document.all) { 
document.all.divButtons.style.visibility = 'hidden'; 
window.print(); 
document.all.divButtons.style.visibility = 'visible'; 
} else { 
document.getElementById('divButtons').style.visibility = 'hidden'; 
window.print(); 
document.getElementById('divButtons').style.visibility = 'visible'; 
} 
}