//get ^.. directory
        url=document.location.href;
        xend=url.lastIndexOf("/")+1;
        var baseURL = url.substring(0,xend);
        function pjson_do(url)
	{
		qend=url.lastIndexOf("?");
		if (qend>0) {
			url+="&";
		} else {
			url+="?";
		}	
			url+=Math.round(Math.random()*999)+"="+Math.round(Math.random()*999);
	        //make sure url is correct
                if (url.substring(0,4)!='http') {
                        url=baseURL+url;
                }
		//create new js element
                var jsel = document.createElement('SCRIPT');
                jsel.type="text/javascript";
                jsel.src=url;
                //append js element
                document.body.appendChild(jsel);
        }