var banners = new Array(
	'images/logog78.jpg',
	'images/logog78.jpg');
var linx = new Array(
	'portail.php',
	'portail.php');
var old = 0;
var current = 0;

function init()
{
	if (!document.images) return
	while (current == old)
	{
		current = Math.floor(Math.random()*banners.length);
	}
	old = current;
	document.images['banner'].src = banners[current];
	setTimeout('init()',10000);//in miliseconds 1 second = 1000 miliseconds
}


//if you want the link to appear in a new window (take out // to deactivate)

//function sendPage()
//{
//	var newwin = window.open(linx[current],'','');
//}


//if you want the link to appear in the same window (put in the // to activate)

function sendPage()
{
	location.href = linx[current];
}