7875X3 ) [ 12430 ],