codice:
<input type="text" name="miamail" value="<?php echo($mail);?>" />