// JavaScript Document
            div = {
					show: function(elem) {
					document.getElementById(elem).style.visibility = 'visible';
					document.getElementById("prod").style.visibility="hidden";
					},
					hide: function(elem) {
					document.getElementById(elem).style.visibility = 'hidden';
					document.getElementById("prod").style.visibility="hidden";
					}
				  }