{ print "<a href=\"http://oeis.org/" $1 "\">" $1 "</a>" }

.