Sensex crosses 42K for first time ever; Nifty hits record high