Update HTMLattributes.py