Rename 2013091301.cpp to 13091301.cpp