" ( 14143 .)