Please read the following table in HTML format from a webpage and then answer the question in detail according to the table. Each table cell is defined by a <td> and a </td> tag. Each table row starts with a <tr> and ends with a </tr> tag. 'rowspan=m' and 'colspan=n' represents a cell spaning over 'm' rows and 'n' columns.

Webpage title:
1979–80 Port Vale F.C. season
Table title:
Transfers out
Table:
<table id='hittask' contenteditable='False'>
<tr> <th colspan=1 rowspan=1 > Date from </th><th colspan=1 rowspan=1 > Position </th><th colspan=1 rowspan=1 > Nationality </th><th colspan=1 rowspan=1 > Name </th><th colspan=1 rowspan=1 > To </th><th colspan=1 rowspan=1 > Fee </th><th colspan=1 rowspan=1 > Ref. </th></tr>
<tr> <td colspan=1 rowspan=1 > August 1979 </td><td colspan=1 rowspan=1 > FW </td><td colspan=1 rowspan=1 > England </td><td colspan=1 rowspan=1 > Brian Sinclair </td><td colspan=1 rowspan=1 > Winsford United </td><td colspan=1 rowspan=1 > Sacked </td><td colspan=1 rowspan=1 >  </td></tr>
<tr> <td colspan=1 rowspan=1 > October 1979 </td><td colspan=1 rowspan=1 > DF </td><td colspan=1 rowspan=1 > England </td><td colspan=1 rowspan=1 > Graham Hawkins </td><td colspan=1 rowspan=1 >  </td><td colspan=1 rowspan=1 > Retired </td><td colspan=1 rowspan=1 >  </td></tr>
<tr> <td colspan=1 rowspan=1 > October 1979 </td><td colspan=1 rowspan=1 > MF </td><td colspan=1 rowspan=1 > England </td><td colspan=1 rowspan=1 > Ged Stenson </td><td colspan=1 rowspan=1 > Morecambe </td><td colspan=1 rowspan=1 > Released </td><td colspan=1 rowspan=1 >  </td></tr>
<tr> <td colspan=1 rowspan=1 > October 1979 </td><td colspan=1 rowspan=1 > MF </td><td colspan=1 rowspan=1 > England </td><td class="highlighted"  colspan=1 rowspan=1 > Ken Todd </td><td class="highlighted"  colspan=1 rowspan=1 > Portsmouth </td><td class="highlighted"  colspan=1 rowspan=1 > £20,000 </td><td colspan=1 rowspan=1 >  </td></tr>
<tr> <td colspan=1 rowspan=1 > 1980 </td><td colspan=1 rowspan=1 > GK </td><td colspan=1 rowspan=1 > England </td><td colspan=1 rowspan=1 > John Connaughton </td><td colspan=1 rowspan=1 > Altrincham </td><td colspan=1 rowspan=1 > Free transfer </td><td colspan=1 rowspan=1 >  </td></tr>
<tr> <td colspan=1 rowspan=1 > 1980 </td><td colspan=1 rowspan=1 > FW </td><td colspan=1 rowspan=1 > England </td><td colspan=1 rowspan=1 > Terry Owen </td><td colspan=1 rowspan=1 > Northwich Victoria </td><td colspan=1 rowspan=1 > Free transfer </td><td colspan=1 rowspan=1 >  </td></tr>
<tr> <td colspan=1 rowspan=1 > February 1980 </td><td colspan=1 rowspan=1 > MF </td><td colspan=1 rowspan=1 > England </td><td colspan=1 rowspan=1 > Kevin Tully </td><td colspan=1 rowspan=1 > Chorley </td><td colspan=1 rowspan=1 > Released </td><td colspan=1 rowspan=1 >  </td></tr>
<tr> <td colspan=1 rowspan=1 > May 1980 </td><td colspan=1 rowspan=1 > DF </td><td colspan=1 rowspan=1 > England </td><td colspan=1 rowspan=1 > Bill Bentley </td><td colspan=1 rowspan=1 > Stafford Rangers </td><td colspan=1 rowspan=1 > Free transfer </td><td colspan=1 rowspan=1 >  </td></tr>
<tr> <td colspan=1 rowspan=1 > May 1980 </td><td colspan=1 rowspan=1 > DF </td><td colspan=1 rowspan=1 > Wales </td><td colspan=1 rowspan=1 > Bob Delgado </td><td colspan=1 rowspan=1 > United States Miami Americans </td><td colspan=1 rowspan=1 > Released </td><td colspan=1 rowspan=1 >  </td></tr>
<tr> <td colspan=1 rowspan=1 > July 1980 </td><td colspan=1 rowspan=1 > FW </td><td colspan=1 rowspan=1 > Northern Ireland </td><td colspan=1 rowspan=1 > Felix Healy </td><td colspan=1 rowspan=1 > Northern Ireland Coleraine </td><td colspan=1 rowspan=1 > Free transfer </td><td colspan=1 rowspan=1 >  </td></tr>
<tr> <td colspan=1 rowspan=1 > Summer 1980 </td><td colspan=1 rowspan=1 > DF </td><td colspan=1 rowspan=1 > England </td><td colspan=1 rowspan=1 > Billy Leese </td><td colspan=1 rowspan=1 >  </td><td colspan=1 rowspan=1 > Retired </td><td colspan=1 rowspan=1 >  </td></tr>
<tr> <td colspan=1 rowspan=1 > Summer 1980 </td><td colspan=1 rowspan=1 > FW </td><td colspan=1 rowspan=1 > England </td><td colspan=1 rowspan=1 > Bernie Wright </td><td colspan=1 rowspan=1 > Kidderminster Harriers </td><td colspan=1 rowspan=1 > Free transfer </td><td colspan=1 rowspan=1 >  </td></tr>
</table>
Question:
How much was Vale's Ken Todd sold for?
Answer:
Ken Todd was sold to Portsmouth for £20,000.