static S jsNotification(S title, S text) {
  ret hjavascript([[
    if (!window.Notification) alert("Notifications not available");
    else {
      alert("Permission: " + Notification.permission);
      if (Notification.permission !== "denied")
        Notification.requestPermission(function(status) {
          var n = new Notification("TITLE", { 
            body: "TEXT"
          }); 
        });
    }
  ]].replace([["TITLE"]], jsQuote(title)).replace([["TEXT"]], jsQuote(text)));
}