Code Editor : search_document.php