: % k 4 :a