<?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 * 2 ) . "<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" );
    ?>