function swappic(no)
 {
	//safe function to show an element with a specified id
		  
	if (document.getElementById) { // DOM3 = IE5, NS6
								document.getElementById("pic").style.background = 'url(images/products/' + no + '.jpg) no-repeat bottom #000';
	
	}


	else if (document.layers) { // Netscape 4
									document.pic.style.background = 'url(images/products/' + no + '.jpg) no-repeat bottom #000';
		}
	}


function mailer(text) {			
				var anchortext = text;
				var mailpart1 = 'HappyHealthyCows';
				var mailpart2 = 'cornishfarmdairy.co.uk';
				document.write("<a href=" + "mail" + "to:" + mailpart1 +
				"@" + mailpart2 + ">" + anchortext + "</a>");
				}