That's the usual decimal separator in many European countries (except UK), I think. It's definitely the same as in Germany. Thomas -- My dev blog - http://devblog.itsth.com/