The utilitarian upper eyelid operation.