File "HelloWorld.py", line 4
SyntaxError: Non-ASCII character '\xef' in file HelloWorld.py on line 4, but no encoding declared; see http://python.org/dev/peps/pep-0263/ for details