function development_show(){
	var developmentOrProduction = location.href.substring(7,13); // starts looking at URL from the 7th position (cuts out http://) and stops at the 13th position, really looking for http://webdev
	locationHREF = new String;
	locationHREF = location.href;
	chunkStart = locationHREF.indexOf('/');
	if (developmentOrProduction != 'webdev'){
		document.write('<style type="text/css">#showOnlyInDevelopment{display:none;}</style>'); // if the current server is not http://webdev, then print nothing
	}else{
		shortenedLocationHREF = locationHREF.slice(chunkStart+8,locationHREF.length);
		document.write('<style type="text/css">#showOnlyInDevelopment{display:block;}</style>'); // if the current server is http://webdev, put in a link to the same URL but replace http://webdev with http://www.pbcgov.com (by chunking out 8 characters from http:)
	}
}