function hatenaAntennaDiffSwitcher(){
if(location.hostname.match(/a\.hatena\.ne\.jp/)){
	var p=document.getElementsByTagName('p');
	for(i=0; i<p.length; i++){
		if(p[i].className=="diff"){
			if(p[i].style.display == "none"){
				p[i].style.display="block";
			}else{
				p[i].style.display="none";
			}
		}
	}
}}