function newwindow(url, num, javascript)
{
	window.open(url,num,javascript,'TARGET="_blank');
}

function bookmark(url,title){
  if ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4)) {
  window.external.AddFavorite(url,title);
  } else if (navigator.appName == "Netscape") {
    alert("Press CTRL-D (Netscape/Firefox) or CTRL-T (Opera) to bookmark");
  } else {
    alert("Press CTRL-D (Netscape/Firefox) or CTRL-T (Opera) to bookmark");
  }
}