document.write('<option></option>');
document.write('<option value=../1240/13835.htm>1994 -  PR01  </option>');
document.write('<option value=../1240/13836.htm>1995 -  PR02  </option>');