  Extra-solar planets can be efficiently detected in gravitational microlensing
events of high magnification. High accuracy photometry is required over a
short, well-defined time interval only, of order 10-30 hours. Most planets
orbiting the lens star are evidenced by perturbations of the microlensing light
curve in this time.
