// JavaScript Document

	/* menu linguas */
	var menulinguas = '<table>'
			+ '<tr>'
				+ '<td><a href="index.html">Portugu&ecirc;s</a></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);



