17871 x ] ) , 8004)