document.write('');
document.write(' <a href="1980.html" >1980</a> |');
document.write(' <a href="1980_2.html" >1980 P2</a> |');
document.write(' <a href="1981.html" >1981</a> |');
document.write(' <a href="1981_2.html" >1981 P2</a> |');
document.write(' <a href="1981_3.html" >1981 P3</a> |');
document.write(' <a href="1982.html" >1982</a> |');
document.write('');