function writeIE() {
  if (is.ie4comp!=-1) document.write('<link rel="stylesheet" type="text/css" href="'+viewFolder+'css/ie.css" />');
}

function init() {
  onScroll(updateTopButton_waternet);
}

function updateTopButton_waternet() {
  if(getElt("top_button_waternet")) {
    var topButton = getElt("top_button_waternet");
    if(getWinScrollTop() > 0) {
      setEltVisibility(topButton,'visible');
    } else {
      setEltVisibility(topButton,'hidden');
    }
  }
}