i=$1

echo "<p>&nbsp;</p>"
echo "<p><hr>"
echo "<h3>Contents</h3>"
echo "<ol>"
grep "<a name" $i | \
grep -v "<h5>" | \
grep -v "<h4>" | \
sed "s/<p>//g" | \
sed "s/<a name=\"/<li><a href=\"#/" | \
sed "s:</a><h2>::g"  | \
sed "s:</a><h3>::g"  | \
sed "s:</a><h4>::g"  | \
sed "s:</h2>:</a>:"  | \
sed "s:</h3>:</a>:"  | \
sed "s:</h4>:</a>:"  
echo "</ol>"