Roughly 1.75 billion to 250 million installed OSes, according to public estimates. 7 to 1 ratio.