function showhide(name) {
	var display = document.getElementById(name).style.display;
	if (display == 'block') {
		document.getElementById(name).style.display='none';
		location.href = location.href.substring(0,location.href.length - location.hash.length)+"#"+"copy";
	}
	else {
		document.getElementById(name).style.display='block';
		location.href = location.href.substring(0,location.href.length - location.hash.length)+"#"+"copy";
	}
}
function showit(name) {
  document.getElementById(name).style.display='block';
  }