ken , bitset N o 13 ,div.