K ( !a0 3 / 0 _ 32 , 578 t:r.