// This function opens links in an external window in a standards compliant way.
// To use it, code the link like this:
// 		<a href="document.html" onclick="setTargetBlank(this);">external link</a>
function setTargetBlank(thelink) {
	thelink.target = "_blank";
}