document.write("<a href='index.html'><IMG src=nav/b01.gif></A><a href='gibraltar.htm'><IMG src=nav/b02.gif></A>");
document.write("<a href='llanitos.htm'><IMG src=nav/b03.gif></A><a href='demonstrations.htm'><IMG src=nav/b04.gif></A>");
document.write("<a href='border.htm'><IMG src=nav/b05.gif></A><a href='press.htm'><IMG src=nav/b07.gif></A>");