CREATE TABLE table_31130 ("#" FLOAT, "Name" TEXT, "Position" TEXT, "Height" TEXT, "Weight" FLOAT, "Year" TEXT, "Former school" TEXT, "Hometown" TEXT)

What is the height of Anthony Crater?
SELECT "Height" FROM table_31130 WHERE "Name" = 'Anthony Crater'
SELECT "Height" FROM "table_31130" WHERE "Name" = 'Anthony Crater'