public double GetUnwriteableMarginTopAttribute() { Console.WriteLine("17"); return m_unwriteableMarginTop; }