var counter = 0;
function random_imglink(){
var myimages=new Array()
//specify random images below. You can have as many as you wish. Just make new 'myimages[7]' or etc.
//myimages[1]="images/sponsors/windriv.gif" //Ad Images
myimages[1]="images/sponsors/ms_rotate.gif"
myimages[2]="images/sponsors/mv_rotate.gif"
myimages[3]="images/sponsors/wr_rotate.gif"
myimages[4]="images/sponsors/arr_rotate.gif"
myimages[5]="images/sponsors/av_rotate.gif"
myimages[6]="images/sponsors/fut_rotate.gif"
myimages[7]="images/sponsors/gh_rotate.gif"

var theurls = new Array()
//
theurls[1]="http://www.microsoft.com/windowsembedded"
theurls[2]="http://www.mvista.com"
theurls[3]="http://www.windriver.com"
theurls[4]="http://www.arrow.com"
theurls[5]="http://www.avnet.com"
theurls[6]="http://www.futureelectronics.com"
theurls[7]="http://www.ghs.com"


//var y = counter%2;

var y = counter;
ry=y+1;
if(ry>6){
	ry=1;
}
if(counter>6){
	counter=0;
	y=0;
}
//alert('counter is:  '+counter+'    '+y);
//var ry=Math.floor(Math.random()*myimages.length)

//if (ry==0)
//ry=1
counter+=1;

document.getElementById("sponsor_rotate").innerHTML='<a href="'+theurls[ry]+'" target="_blank"><img src="'+myimages[ry]+'" border=0></a>'

setTimeout('random_imglink()',4000);


}
//random_imglink()