( norsk tid ) . . , |12,52