function BlinkTxlOn() {
 var txl=document.getElementById('txl');
 txl.src='files/images/txl_logo2.gif';
 }
 function BlinkTxlOff() {
 var txl=document.getElementById('txl');
 txl.src='files/images/txl_logo.gif';
 }