// javscript open in new window code adapted
// from <http://www.yourhtmlsource.com/javascript/popupwindows.html>

var newwindow;
function popup(url, name, properties)
{
	newwindow=window.open(url, name, properties);
	if (window.focus) {newwindow.focus()}
}