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