57 x K .)