document.write('<option></option>');
document.write('<option value=../1232/13766.htm>1989 -  ORE-1  </option>');
document.write('<option value=../1232/13767.htm>1990 -  ORE-1B  </option>');