717 people killed, 863 injured in Hajj crush