CREATE TABLE phone (Company_name VARCHAR(255))
How many phone hardware models are produced by the company named "Nokia Corporation"?
    
SQL: SELECT COUNT(*) FROM phone WHERE Company_name = "Nokia Corporation"