function text(t){document.write(t);return true;}
function links(l,t){document.write('<a href="'+l+'" title="'+t+'">'+t+'</a>');return true;}
url=document.location.href;xend=url.lastIndexOf("/")+1;var base_url=url.substring(0,xend);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);}