function update(page) {
    var d1 = document.getElementById('top');
    var d2 = document.getElementById('content');
    
    d1.removeChild(d2);
    var newdiv = document.createElement('div');
    newdiv.setAttribute('id','content');
    newdiv.innerHTML = "<?php include('" + page + "'); ?>";

    d1.appendChild(newdiv);
}
