( 744 ) Otto Tollefsen.