<!--	function randomize(d)	{	var num = Math.random()*3;	num = Math.round(num);	if (num == 0){d.src = './pictures/actin-motor.jpg'};	if (num == 1){d.src = './pictures/engrailed-pharmdesign.jpg'};	if (num == 2){d.src = './pictures/exoligands.jpg'};	if (num == 3){d.src = './pictures/xenon_overview.jpg'};	}// -->