function development_switch(){
	var productionOrDevelopment = location.href.substring(7,21); // starts looking at URL from the 7th position (cuts out http://) and stops at the 21st position, really looking for http://www.pbcgov.com
	locationHREF = new String;
	locationHREF = location.href;
	chunkStart = locationHREF.indexOf('/');
	if (productionOrDevelopment != 'www.pbcgov.com'){
		document.write(''); // if the current server is not http://www.pbcgov.com, then print nothing
	}else{
		shortenedLocationHREF = locationHREF.slice(chunkStart+16,locationHREF.length);
		document.write('<a href="http://webdev' + shortenedLocationHREF + '" class="globalnav" target="_top"><img src="/_code/images/spacer.gif" alt="" width="10" height="10" /></a>'); // if the current server is http://www.pbcgov.com, put in a link to the same URL but replace http://www.pbcgov.com with http://webdev (by chunking out 8 characters from http:)
	}
}