#!/bin/sh

for x in `grep "a name" $1|cut -f2 -d\"`
do
  echo "<a href=\"#$x\">$x</a>&nbsp;| "
done