function redo() {
  window.location.reload();
  
  var pos = window.location.href.lastIndexOf("#");
  var extrakt;
	if (pos != -1){ 
		extrakt = window.location.href.slice(0, pos);
  		window.location.href = extrakt;
  	}else window.location.href=window.location.href; 
	
}



window.onresize = redo;