“Does this battery replace the a32-k55x battery?”