// 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";
}

function newWindow(url, w, h) {
	window.open(url, 'tum'+w+h, 'width='+w+', height='+h+', status=yes');
}