// #TIPO=DUAL
// Necesita newlib.js por cojones para funcionar
if (!Def("__JS_PAGINA__")) 
   {
    var __JS_PAGINA__=1
       function title(txt,direct)
         {
         if (!direct) writeIS("<scr"+"ipt>");
         writeEval("document.title='" + txt.Replace("'",'\\\'') + "'");
         if (!direct) writeIS("</scr"+"ipt>");
         }

       function appendTitle(txt,direct)
         {
         if (!direct) writeIS("<scr"+"ipt>");
         writeEval("document.title+='" + txt.Replace("'",'\\\'') + "'");
         if (!direct) writeIS("</scr"+"ipt>");
         }
       
       function redirect(url)
         {
         var url="'" + String(url).Replace("'",'\\\'') + "'"
         if (url=="''") var url="location.href";
         writeIS("<scr"+"ipt>");
         writeEval("location.href=" + url);
         writeIS("</scr"+"ipt>");
         }
	}