Update withfunctions.py