function jumpto(anchor)
	{
		location.hash=anchor
	}