( * y 13 : 16 ) , wb .,