Параметр в <form...>

$val=5;
$body='<form action="POST">
           .........
          <input type="hidden" name="mv" value=.... вот тут мечтаю подставить значение из val. Как?
          </form>'

$val = 5;
$body='<form action="POST">
           .........
          <input type="hidden" name="mv" value="'.$val.'"
          </form>';

<?php
  $val=5;
$body='<form action="POST">
          <input type="hidden" name="mv" value="'.$val.'"/>
          </form>';
?>

$var = 5;
// Тут ещё что-нибудь

<?php
 require("test.php"); // Подключаем файл с переменной $val
 
 $body='<form action="POST">
 <input type="hidden" name="mv" value="'.$val.'"/>
 </form>';
 ?>

<?php
$val=5;
?>

<?php
$body="'<form action=\"POST\">
           .........
          <input type=\"hidden\" name=\"mv\" value='".$val."'>
          </form>'";
?>