function newWindow(new_location)
{
  new_window = window.open(new_location);
  new_window.focus();
}