function paintPage()
{var handler=new ListGlossarySimple(new PinkContentCalls(),new ListGlossaryDOM(),document.getElementById('pageContent'));handler.doActive();window.setTimeout(setPageHash,1000);}
function setPageHash()
{var hash=window.location.hash;if((undefined!=hash)&&(0<hash.length))
{if(hash.charAt(0)=='#')
{if(1==hash.length)
return;hash=hash.substr(1);}
window.location.hash=hash;}}