History of intraoperative ultrasound.