HAMMERFEST den 23 juli.