<!--

function ReplaceHTTP(f_id, str)
{
    var f = document.getElementById(f_id);
    f.value = f.value.replace(str,'');
}   

//-->