( STA ' 38195 .)