def getWidth(self, elem): return DOM.getElementPropertyInt(elem, "width")
def getHeight(self, elem): return DOM.getElementPropertyInt(elem, "height")