CREATE TABLE table_12048 ("Round" FLOAT, "Overall" FLOAT, "Player" TEXT, "Nationality" TEXT, "Club team" TEXT)

What is the average round for martin havlat?
SELECT AVG("Round") FROM table_12048 WHERE "Player" = 'martin havlat'
SELECT AVG("Round") FROM "table_12048" WHERE "Player" = 'martin havlat'