and probably reload the page (window.reload() I th...
# general
a
and probably reload the page (window.reload() I think)