python source code for version2.5.2