function hashlink()
{
	$$('a').each(
		function(a) 
		{
		
		myhref = a.getAttribute("href", 2);
		if(myhref && myhref.substr(0,1) == '/')
		{
			a.href = '#' + myhref.substr(1);
		}
		else 
		{
				if(myhref != null)
					a.href = myhref;
		}
	});
}