( norsk tid ) . . .12 ,52