b ( 12372 .)