// JavaScript Document

	/* menu linguas */
	var menulinguas = '<table>'
			+ '<tr>'
				+ '<td><strong>Portugu&ecirc;s</strong></td>'
				+ '<td><a href="index_english.html">English</a></td>'
				+ '<td><a href="index_francais.html">Fran&ccedil;ais</a></td>'
				+ '<td><a href="index_castellano.html">Castellano</a></td>'
			+ '</tr>'
		+ '</table>';

	document.write(menulinguas);