16 , 1193 .)