document.write('<div align="center" class="normal_11px">')
document.write('<a href="index.html">Home</a> &bull; ')
document.write('<a href="overview.html">About Us</a> &bull; ')
document.write('<a href="operators.html">Operators</a> &bull; ')
document.write('<a href="procedures.html">e-Gaming</a> &bull; ')
document.write('<a href="idc.html">Infrastructure</a> &bull; ')
document.write('<a href="faq.html">FAQ</a> &bull; ')
document.write('<a href="news.html">Press Room</a> &bull; ')
document.write('<a href="contact.php">Contact Us</a>')
document.write('</div>')