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