var numpics = 8; //num pictures in animation
var picno = 0;

var w3c=(document.getElementById)?true:false;
var ns4=(document.layers)?true:false;
var ie4=(document.all && !w3c)?true:false;
var ie5=(document.all && w3c)?true:false;
var ns6=(w3c && navigator.appName.indexOf("Netscape")>=0)?true:false;

function getid(id)
{
if(ns4) return document.layers[id];
else if(ie4)return document.all[id];
else return document.getElementById(id);
}

function movein(id)
{
getid('te'+id).src = 'menu/txt'+id+'b.gif'
}

function moveout(id)
{
getid('te'+id).src = 'menu/txt'+id+'a.gif'
}

function movespc(id,pic)
{
getid(id).src = pic
}

function anim()
{
getid('ticker').src = 'menu/msg'+picno+'.gif'
++picno;
if( picno == numpics )
	{
	picno = 0;
	}
window.setTimeout( 'anim()', 5000 );
}