document.write('<option></option>');
document.write('<option value=../1230/13747.htm>1988 -  ARC1  </option>');
document.write('<option value=../1230/13748.htm>1989 -  ARC2  </option>');