document.write("<a href=\"../es/nav.html\"><img src=\"../src/es.gif\" border=\"0\" height=\"15\"></a>&nbsp;<a href=\"../en/nav.html\"><img src=\"../src/en.gif\" border=\"0\" height=\"15\"></a>")