CREATE TABLE table_24725 ("Year" FLOAT, "Film" TEXT, "Budget" TEXT, "Domestic Box Office" TEXT, "Foreign Box Office" TEXT, "Total" TEXT, "US DVD sales" TEXT, "Total  ( with DVD sales ) " TEXT)

What was the budget for 'Thirteen Ghosts'?
SELECT "Budget" FROM table_24725 WHERE "Film" = 'Thirteen Ghosts'
SELECT "Budget" FROM "table_24725" WHERE "Film" = 'Thirteen Ghosts'