function Ask(url, message) {
	if (confirm(message + "\n")) location.href = url
}

function yesno(url1, url2, message)
{
	if (confirm(message + "\n")) { location.href = url1 }
	else { location.href = url2 }
}

function jumpToAnchor(anchor)
{
   window.location = String(window.location).replace(/(\?|#).*$/, "") + "#" + anchor;
}