<!--

function getPageName(){
var pathname = location.pathname;
var lastSlash = pathname.lastIndexOf('/');
var lastDot = pathname.lastIndexOf('.');
if (lastDot==-1) lastDot=pathname.length; //in case no extension (i.e. servlet)
return pathname.substring(lastSlash+1,lastDot);
}

function getPageFileName(){
var pathname = location.pathname;
var lastSlash = pathname.lastIndexOf('/');
return pathname.substring(lastSlash+1,pathname.length);
}


//  Evitar páginas fuera de su frame

url=this.location.pathname;

var pagina = getPageFileName();

// if(top==self) top.location="frames.htm?" + url

if(top==self) top.location="index.php?PAG=" + pagina;

//-->