private double readDouble(object element, TpcnResources tag)
{
char charSeparator = System.Globalization.NumberFormatInfo.CurrentInfo.NumberDecimalSeparator[0];
return Convert.ToDouble("0" + this.readValue(element, tag).Replace(".", charSeparator.ToString()));
}