<!--//
var decimalPoint = ",";
var nonDecimalPoint = ".";

// errors already defined are named with prefix: ERR_,
// so in pages ERRSomething can be used
var ERR_DateBad="Datum ist nicht in einem gültigen Format.";
var ERR_MonthBad="Monat * hat nicht 31 Tage."
var ERR_FebruaryBad="Februar *1 hat nicht *2 Tage."
var ERR_ProperMonth="Monat muß zwischen 1 und 12 sein.";
var ERR_ProperDay="Tag muß zwischen 1 und 31 sein.";

// -->