12.游泳时有时肚子疼是怎么回事？