<ke 12.12>