function printVersionNumber() {
	document.write('1.1.6');
}
function printReleaseDate() {
	document.write('August 29th, 2008');
}
function printMenu() {
	document.write(
		'<ul>' + 
    	'<li><a href="index.html">Description</a><br/></li>' + 
      '<li><a href="installation.html">Installation</a><br/></li>' + 
      '<li><a href="requirements.html">System requirements</a><br/></li>' + 
      '<li><a href="configuration.html">Configuration</a><br/></li>' + 
      '<li><a href="embed_vars.html">Embed Variables</a><br/></li>' + 
      '<li><a href="faq.html">FAQ</a><br/></li>' + 
      '<li><a href="changelog.html">Change log</a><br/></li>' + 
      '<li><a href="license.html">License</a><br/></li>' + 
      '<li><a href="contact.html">Contact</a></li>' + 
    '</ul>');
}