// JavaScript Document


inc_htmlinclude_js =
'<a href="../en/index.html"><img src="../../images/english-flag.gif" alt="English" width="32" height="20" id="englanguage" border="0" /></a>&nbsp&nbsp;'
+ '<a href="../es/index.html"><img src="../../images/spain-flag.gif" alt="Espaņol" width="32" height="20" id="spanlanguage" border="0" /></a>&nbsp;&nbsp'
+ '<a href="../de/index.html"><img src="../../images/german-flag.jpg" alt="Deutsch" width="32" height="20" id="gerlanguage" border="0" /></a>&nbsp;&nbsp'
+ '<a href="../it/index.html"><img src="../../images/itay-flag.gif" alt="Italiano" width="32" height="20" id="italianlanguage" border="0" /></a>&nbsp;&nbsp'
+ '<a href="../fr/index.html"><img src="../../images/france-flag.gif" alt="Francais" width="32" height="20" id="frenchlanguage" border="0" /></a>&nbsp;&nbsp'
+ '<a href="../pt/index.html"><img src="../../images/portuguese-flag.gif" alt="Portugues" width="32" height="20" id="portugueselanguage" border="0" /></a>';

// end_var_declaration
document.write(inc_htmlinclude_js);