what number of computers does spectravideo have as computer lines?
(COUNT (AND computer.computer (JOIN (R computer.computer_manufacturer_brand.computer_lines) m.02kx72)))