var randomminipic = parseInt(Math.random() * 6);
if(randomminipic == 1){
	var marginminipic = (100 + parseInt(Math.random() * 400));
	var minipicnumber = (1 + parseInt(Math.random() * 7));
	document.getElementById("minipic").src = "/pics/randpic"+minipicnumber+".gif";
	document.getElementById("minipic").style.marginLeft = marginminipic+"px";
	document.getElementById("minipic").style.display = "inline";
}
else{
	document.getElementById("minipic").style.display = "none";
}