19988x 8) [ 5047 .)