function error_info() {
  var error_page = document.getElementById('error_page');
  error_page.value = document.getElementById('content').innerHTML;
}