CREATE TABLE table_name_72 (height VARCHAR, school VARCHAR)

What's the heigh of the player who went to lake howell high school?
SELECT height FROM table_name_72 WHERE school = "lake howell high school"
SELECT "height" FROM "table_name_72" WHERE "lake howell high school" = "school"