GRETE ELIASSEN SETS WORLD RECORD JUMP