some utilites on Python