which browser has extension ie7 pro?
(AND computer.web_browser (JOIN computer.web_browser.extensions m.02r0476))