playing with python Encoding