2139 ) [ 512 ],