HTML with Python codes