<?php
  
require_once( "Cabeza5.inc" );
?>
  <body>
    <?php
      $Counter 
1;
      print( 
"<p class=\"TitleFont\">
                El Operador while
              </p>" 
); 

      print( 
"<p class=\"SubTitleFont\">" );
      while( 
$Counter <= 12 )
      {
        print( 
"$Counter * 2 = " . ( $Counter ) . "<br />" );
        
$Counter++;
      }
      print( 
"</p>
              <p style=\"text-align:center;\">
                <audio autoplay=\"autoplay\" controls=\"controls\">  
                  <source src=\"images/thatsall.ogg\" type=\"audio/ogg\">
                  Tu explorador no soporta el etiqueta audio
                </audio>
              </p>" 
);
      require_once( 
"incPie5.php" );
    
?>