/*
 Executes a function given when document is loaded
*/
function addOnDocumentLoadedMain(functionname) {
  if (window.addEventListener)
    window.addEventListener("load", functionname, false);
  else if (window.attachEvent) window.attachEvent("onload", functionname);
  else window.onload = functionname;
}
var docloaded = 0;
addOnDocumentLoadedMain(function() {docloaded = 1;});

var counterHeader = '';

function saveCounterHeader(value) {
    if (docloaded==1) {
        document.getElementById('ce_basic_Counter').innerHTML = value;
    }
    else {
        counterHeader = value;
        addOnDocumentLoadedMain(function() {document.getElementById('ce_basic_Counter').innerHTML = counterHeader;});
    }
}