CREATE TABLE table_56317 ("Driver" TEXT, "Constructor" TEXT, "Laps" FLOAT, "Time/Retired" TEXT, "Grid" FLOAT)

What is the time/retired for mika h kkinen
SELECT "Time/Retired" FROM table_56317 WHERE "Driver" = 'mika häkkinen'
SELECT "Time/Retired" FROM "table_56317" WHERE "Driver" = 'mika häkkinen'