, 1 . v. 12500)