/******************************************************************************************************/

if (window.name != "texte") {
	itt  = window.location.href.lastIndexOf("/") + 1 ;
	chj  = window.location.href ;
	chjl = chj.length ;
	urlo = window.location.href.substring(itt,chjl) ;
    location.href = '../_redir.php?txt=' + escape(urlo);
}

/******************************************************************************************************/