those are the factory part numbers, from past experience one of those cost you in the region of £200 upwards and then you would still need to add acid as they come dry charged.
Lexus and Toyota do a range of replacement batteries called optifit and they will cost in the region of £60