8471X3 . ) ( 5047 .)