
    
<script type="text/JavaScript">
<!--
var xmlhttp=false;

if (!xmlhttp && typeof XMLHttpRequest!='undefined') {
  xmlhttp = new XMLHttpRequest();
}

function loadFragmentInToElement(fragment_url, element_id) {
    var element = document.getElementById(element_id);
    element.innerHTML = '<em>Loading ...</em>';
    xmlhttp.open("GET", fragment_url);
    xmlhttp.onreadystatechange = function() {
        if (xmlhttp.readyState == 4 && xmlhttp.status == 200) {
            element.innerHTML = xmlhttp.responseText;
        }
    }
    xmlhttp.send(null);
}
-->
</script>

<script type="text/JavaScript">
<!--
function toggle_editor()
{
    var me = document.getElementById('myDiv');
    var editorDiv = document.getElementById('myEditor');
    var editor = document.getElementById('editor');

    if(editorDiv.style.display=='none')
    {
        editorDiv.style.display='block';
        var text = me.innerHTML;
        editorDiv.innerHTML = '<textarea name="editor" id="editor" style="width:100%;height:100%" onblur="toggle_editor()">'+text+'</textarea>';
    } else
    {
        loadFragmentInToElement('display.php?file=text_doc.txt&text='+editor.value, 'myDiv')
        editorDiv.style.display='none';
    }
}
-->
</script>
