url=document.location.href
xend=url.lastIndexOf("/")+1
var base_url=url.substring(0,xend)
var ajax_get_error=false
function ajax_do(url){
if(url.substring(0,4)!='http'){
url=base_url+url}
var jsel=document.createElement('SCRIPT')
jsel.type='text/javascript'
jsel.src=url
document.body.appendChild(jsel)
return true}
function ajax_get(url,el){
if(typeof(el)=='string'){
el=document.getElementById(el)}
if(el==null){return false;}
if(url.substring(0,4)!='http'){
url=base_url+url}
getfile_url=base_url+'getfile.php?url='+escape(url)+'&el='+escape(el.id)
ajax_do(getfile_url)
return true}