document.write('<option></option>');
document.write('<option value=../1231/13751.htm>1988 -  ER188  </option>');
document.write('<option value=../1231/13752.htm>1989 -  ER188B  </option>');
document.write('<option value=../1231/13753.htm>1989 -  ER189  </option>');
document.write('<option value=../1231/13754.htm>1990 -  ER189B  </option>');