// Pop-up window function
var newwindow;
function popUp(url,name,specs)
{
	newwindow=window.open(url,name,specs);
	if (window.focus) {newwindow.focus()}
	return false;
}