/*	rndimg.js	random images	by amp*/function insertRandomImage(){	var maxImageNumber = 12;	var imageNumber = Math.round(Math.random()*(maxImageNumber-1)+1).toString();	if (imageNumber.length == 1){		imageNumber = "0" + imageNumber;	}	var imgSRC = '/randomimages/' + imageNumber + '.jpg';	var imgtag = '<br><br><img src="' + imgSRC + '" border="0" width="140" alt="random image ' + imageNumber + '">';	document.writeln(imgtag);}