function show_comments()
{
	document.getElementById("comments").style.display='block';
}

function check_comments()
{
	div=document.getElementById("comments");
	if (div) {
		var hash=location.hash;
		if (hash) {
			document.getElementById("comments").style.display='block';
		}
	}
}