function DoProc(myValue) {

  document.getElementById("proc").innerHTML= number_format(myValue,1,',','.');
  document.getElementById("bar").width= 500*myValue/100;

}
////////////////////////////////////////////////////////////////////////////////////////////////
function ChangeState(myText) {

  document.getElementById("state").innerHTML= myText;

}
////////////////////////////////////////////////////////////////////////////////////////////////
function ChangeStateX(myText) {

  document.getElementById("elmar").value= myText;

}
////////////////////////////////////////////////////////////////////////////////////////////////
function number_format( number, decimals, dec_point, thousands_sep ) {
 
    var n = number, c = isNaN(decimals = Math.abs(decimals)) ? 2 : decimals;
    var d = dec_point == undefined ? "," : dec_point;
    var t = thousands_sep == undefined ? "." : thousands_sep, s = n < 0 ? "-" : "";
    var i = parseInt(n = Math.abs(+n || 0).toFixed(c)) + "", j = (j = i.length) > 3 ? j % 3 : 0;
 
    return s + (j ? i.substr(0, j) + t : "") + i.substr(j).replace(/(\d{3})(?=\d)/g, "$1" + t) + (c ? d + Math.abs(n - i).toFixed(c).slice(2) : "");
}
////////////////////////////////////////////////////////////////////////////////////////////////
function SetAllCheck(checkflag) {

  // field= this.form.cat;
  field= document.form.cat;

  // Alle Checkboxen ein-/ausschalten
  for (i = 0; i < field.length; i++) {
    field[i].checked = checkflag;
  }

}
////////////////////////////////////////////////////////////////////////////////////////////////