// JavaScript Document
function ajax_do (url) {
        var jsel = document.createElement('SCRIPT');
        jsel.type = 'text/javascript';
        jsel.src = url;
        document.body.appendChild (jsel);
}