( K , 512 ).