No, 9.9%. And in the company that owns the Empire State Building in addition to other properties.
So Qatar doesn’t own a quarter of it, then.