'; } else { echo "
"; echo '
'; echo "
"; echo_shadow($value[0]); #echo($value[0]); echo "
\n"; echo "
\n"; echo "
\n"; } //echo '
'; } /* if(($page[3])) { echo '
'; require "txt/".$page[1]; echo "
\n"; echo "
\n"; if(($page[3])===1) require "php/rmenu.inc.php"; else require $page[3]; echo "
\n"; }*/