Mangen , Halvorsen , Hull,