5280X3 ) ( 4 , 512 .)