function refresh() {
  window.location.reload( false );
}