formatting 2012/3.py