function ajax_status(node, status_string, replace) {
    if (!node) return false;
    if (typeof node == 'string')
      node = document.getElementById(node);
    if (node) {
      if (replace)
        node.innerHTML = status_string
      else
        node.innerHTML = status_string + node.innerHTML
    }
}

function turnDisplay(id, onOrOff)  {
    if (onOrOff == 'off') {
         document.getElementById(id).style.display = 'none'
    } else if (onOrOff == 'on') {
         document.getElementById(id).style.display = 'block'
    }
    return false;
}

function toggleDisplay(id1,id2) {
    // if id1 is hidden, then show it and hide id2. else do the opposite.
    if (document.getElementById(id1).style.display == 'none') {
        document.getElementById(id1).style.display = 'block'
        document.getElementById(id2).style.display = 'none'
    } else {
        document.getElementById(id1).style.display = 'none'
        document.getElementById(id2).style.display = 'block'
    }
    return false;
}

image1 = new Image();
image1.src = "/images/cover-big.gif";

image2 = new Image();
image2.src = "/images/core-big.gif";

image3 = new Image();
image3.src = "/images/custom-big.gif";

image4 = new Image();
image4.src = "/images/spec-big.gif";

image5 = new Image();
image5.src = "/images/faq-big.gif";