mathi.h 13:22