document.write('<option></option>');
document.write('<option value=../1220/13659.htm>1980 -  F7  </option>');
document.write('<option value=../1220/13660.htm>1980 -  F8  </option>');
document.write('<option value=../1220/13661.htm>1981 -  F8C  </option>');
document.write('<option value=../1220/13662.htm>1982 -  F8D  </option>');
document.write('<option value=../1220/13663.htm>1982 -  F9  </option>');