( norsk tid )10,57