function bookmarksite(title, url){
if (document.all)
window.external.AddFavorite(url, title);
else if (window.sidebar)
window.sidebar.addPanel(title, url, "")
}

function go(box)
	{
	destination = box.options[box.selectedIndex].value;
	if (destination) location.href = destination;
	}

function setPostcode(box)
	{

	destination = box.options[box.selectedIndex].value;
	if (destination) location.href = destination;
	}