Sensex ends 12.78 pts higher at record 51,544.30; Nifty slips 10 pts to 15,163.30.

Sensex ends 12.78 pts higher at record 51,544.30; Nifty slips 10 pts to 15,163.30.