Pedersen slo den ni år gamle norske rekorden to ganger