17724x12 ) ( 4218 .)