const reload_page = document.getElementById('reload_page')
if (reload_page)
	reload_page.onclick = ()=>{location.reload()};