function changePic(pic) {
	if (document.all) {
		var s = pic.src;
		if (s.indexOf("jelks.jpg") > 0) {
			pic.src = "../images/flag.gif";
			pic.alt = " Flag ";
			pic.width = 100;
			pic.height = 55;
		}
		else {
			pic.src = "../images/jelks.jpg";
			pic.alt = " Dweeb ";
			pic.width = 135;
			pic.height = 162;
		}
		pic.visibility = "visible";
	}
}