function Ajax_Perform(t)
{
    cc = fetch_object('ajaxifr');
    
    cc.src = t;
}

function ajax_do(url) {
    var jsel = document.createElement('SCRIPT');
    jsel.type = 'text/javascript';

    jsel.src = url;

    document.body.appendChild (jsel);
}

function ajax__progress_indicator(h_id)
{
    fetch_object(h_id).innerHTML = '<img src="img/ajax_progress.gif">';
}