4195 ) ( 42572 .)