47 | , 47 } .)