Python: fun() - times