russian diver sets new world record

});