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