// random intro text on homepage
function randomize( l, t ){
	t -= 1;
	return Math.floor( Math.random() * ( t - l + 1 ) ) + l;
}
function RotateText(n){
	var index = randomize( 0, n) + 1;
	for(i=1;i<=n;i++){
		if(index==i){
			document.getElementById('text'+index).style.display='block';
		}
		else{
			document.getElementById('text'+i).style.display='none';
		}
	}
}