document.getElementById("startbtn").addEventListener("click", () => {
	start();
});
startUpdateMachines();

const notbtn = document.getElementById("notbtn")
notbtn.addEventListener("click", () => requestPermission())
function requestPermission() {
	console.log("Requesting permission...");
	OneSignal.Notifications.requestPermission();
}
const notif = document.getElementById("notif-panel");
if (Notification.permission == 'granted') {
	notif.remove();
}