What is the area of a rectangle with vertices at #(7,3), (12,3), (12,11),# and #(7,11)#?