// JavaScript Document
var txt1="";
var txt2="           Repdeval equipos para buques";
var txt=txt1;
var wait=1000;
var refresco=null;


function flash() {
        window.status=txt;
	if (txt.length==0) txt=txt2;
         else
            txt=txt1;       
	refresco=setTimeout("flash()",wait);
	}

function oculta_barra() {
        clearTimeout(refresco);
        window.status="";
	}

// -->

