Be' in realtà la variabile in questione la puoi estrarre dal file HTML tramite un parser HTML come BeautifulSoup...