k ( : 12 .half