/* Utiles para nochendi */
function newlang(as_lang, as_section) {
	top.document.location.href="?lang="+as_lang+"&s="+as_section;
}