( norsk tid )9,50