Useless Piece of code, that turned out to be useful

scrape_ode.py

import urllib2
import re

html = urllib2.urlopen('http://12000.org/my_notes/kamek/KERNEL/index.htm', 'r')
html = html.readlines()
ode = open('ode.txt', 'w')
for line in html:
    if line.startswith('<PRE'):
        index = html.index(line)
        ode.write(html[index + 2])
        del html[index]


ode.close()