19988 x 8) [ 5047 .]