if ($nr !=0) {
if (basename($_SERVER['PHP_SELF']) != "toc.php" ) {
include("include/prev_next.php");
}
}
$doc_url_vars = "?r_code=FF_JV_2014";
if (is_numeric($_GET['nr'])) {
if ($doc_url_vars == "") {
$doc_url_vars .= "?nr=".$_GET['nr'];
}
else {
$doc_url_vars .= "&nr=".$_GET['nr'];
}
}
$doc_url = "http://".$_SERVER['SERVER_NAME'].dirname($_SERVER['PHP_SELF'])."/".
basename($_SERVER['PHP_SELF']).$doc_url_vars;
?>