Total area of Norway