"; $view = isset( $_GET['view'] ) ? $_GET['view'] : false; switch( $view ) { case 'credits': echo "
"; echo ""; include 'doc/CREDITS'; echo ""; echo "