function go_back() {
    window.history.back();
}


function links_color() {
  var put = document.location.href;
  var kon = put.substring(18, 100);
  if (document.getElementById(kon)) {
	  document.getElementById(kon).className = "orange";
  }
    
}