$file_name = false;
if(substr(urldecode($document["url"]), 0, strlen($base_url)) == $base_url){
$file_name = $document_root.substr(urldecode($document["url"]), strlen($base_url));
$file_name = false;
if(substr(urldecode($document["url"]), 0, strlen($base_url)) == $base_url){
$file_name = $document_root.substr(urldecode($document["url"]), strlen($base_url));