k4 ( 15 : ! * , .)