12 , 13 6c is .)