function page_refresh() {
  location.reload();
}