The correction of high myopia using the excimer laser.