function doswap(picno,picsrc) {
	if (document.images) {
		document.images[picno].src = picsrc;
	}
}