function overlay_end() {
  document.location.href = '/goto/design';
}