Fatal error: Call to undefined function int() in /htdocs/public/www/document_details.php on line 2