if (document.images) {
	witnesslee = new Image();
	witnesslee2 = new Image();
	tea = new Image();
	tea2 = new Image();
	pub = new Image();
	pub2 = new Image();
	recog = new Image();
	recog2 = new Image();
	witnesslee.src = "./images/witness-lee-a.gif";
	witnesslee2.src = "./images/witness-lee-a-over.gif";
	tea.src = "./images/teachings.gif";
	tea2.src = "./images/teachings-over.gif";
	pub.src = "./images/publications.gif";
	pub2.src = "./images/publications-over.gif";
	recog.src = "./images/recognition.gif";
	recog2.src = "./images/recognition-over.gif";
}