function refreshPage(url) {
  document.location.replace(url);
}

//alert(document.getElementById("main_link").style.width);