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

// 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" rel="external">external link</a>
function externalLinks() {
	if (!document.getElementsByTagName) return;
	var anchors = document.getElementsByTagName("a");
	for (var i=0; i < anchors.length; i++) {
		var anchor = anchors[i];
		if (anchor.getAttribute("href") && anchor.getAttribute("rel") == "external") {
	     	anchor.target = "_blank";
		}
 	}
}