title: MySQL syntax: What is this?
body: <p>My exported SQL file contains the lines below:</p>
  
  <pre><code>/*!40101 SET @OLD_CHARACTER_SET_CLIENT=@@CHARACTER_SET_CLIENT */;
  /*!40101 SET @OLD_CHARACTER_SET_RESULTS=@@CHARACTER_SET_RESULTS */;
  /*!40101 SET @OLD_COLLATION_CONNECTION=@@COLLATION_CONNECTION */;
  /*!40101 SET NAMES utf8 */;
  </code></pre>
  
  <p>What do these lines mean, unlike <code>CREATE TABLE</code> and <code>INSERT INTO</code>?</p>