How to do a Hard Reset for the Ocean Digital WR23F?