document.write('<option></option>');
document.write('<option value=../1225/13709.htm>1984 -  01  </option>');
document.write('<option value=../1225/13710.htm>1984 -  02  </option>');
document.write('<option value=../1225/13711.htm>1985 -  03  </option>');
document.write('<option value=../1225/13712.htm>1986 -  03B  </option>');