12332 ] ( 1673 .)