<!--
function toggleHash()
{
var hashtick=document.getElementById('hashtick');
var hashbar=document.getElementById('hashbar');
if(hashtick.style.display=='block')
{
hashtick.style.display='none';
hashbar.style.display='block';
}
else
{
hashtick.style.display='block';
hashbar.style.display='none';
}
}
-->