PFO statistics in divers