CREATE TABLE table_523 ("Frame size" TEXT, "Width" FLOAT, "Height" FLOAT, "Mpix" TEXT, "Aspect Ratio" TEXT, "max. fps" FLOAT, "lowest possible REDCODE at 24 fps" TEXT)

what's the width with frame size being 4.5k
SELECT "Width" FROM table_523 WHERE "Frame size" = '4.5K'
SELECT "Width" FROM "table_523" WHERE "Frame size" = '4.5K'