title: In python, how to import filename starts with a number
body: <p>Basically there is a file called <code>8puzzle.py</code> and I want to import the file into another file (in the same folder and I cannot change the file name as the file is provided). Is there anyway to do this in Python? I tried usual way <code>from 8puzzle import *</code>, it gives me an error.</p>
  
  <p>Error is: </p>
  
  <pre><code>&gt;&gt;&gt; import 8puzzle
    File "&lt;input&gt;", line 1
      import 8puzzle
             ^
  SyntaxError: invalid syntax
  &gt;&gt;&gt; 
  </code></pre>