document.addEventListener("DOMContentLoaded", async function() { await push_routine(); });