KSE 100 share index briefly crosses 80,000 to hit record high