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