function showPic (whichpic,thatpic,howhigh) {
	if (document.getElementById) {
		document.getElementById(thatpic).src = whichpic;
		document.getElementById(thatpic).height = howhigh;
		return false;
	} else {
		return true;
	}
}