include("header.php"); ?> $pagina = "contents/debian_3_1.inc"; ?> include($pagina); ?> echo "
"; ?> echo ""; ?> echo ""; ?> echo " Versione stampabile"; ?> echo "