// randomize a DIV class //
function randomize_div_class(divId) {
	var class_names = ['topImg1', 'topImg2', 'topImg3'];
	rand_index = randomNumber( class_names.length );
	var e = document.getElementById(divId);
	if (e) {
		e.className = class_names[rand_index];
	}
}

function randomNumber(limit){
  return Math.floor(Math.random()*limit);
}

function MM_preloadImages() { //v3.0
  var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
    var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
    if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}