function Href(dest,target,image,text) {
	this.dest=dest;
	this.target=target
	this.image=image;
	this.text=text;}
function setHref(dest,target,image,text) {
	myHref[hrefItems++]=new Href(dest,target,image,text);}
function replace() {
	var now = new Date();
	random = now.getSeconds()%hrefItems;
	if (random==lastrandom) {if (random==hrefItems-1)random--;else random++;}
	document ['banner'].src = myHref[random].image;
	document.links[0].href = myHref[random].dest;
	setTimeout('replace()',6000);
      lastrandom = random; }