function new_window(url) {
  window.open(url);
  return false;
}