echo '<input type="text" id="text1" name="text1" value="'.$_SESSION["yyy"].'" />';
或者
<input type="text" id="text1" name="text1" value="<?=$_SESSION["yyy"];?>" />
echo '<input type="text" id="text1" name="text1" value="'.$_SESSION["yyy"].'" />';
或者
<input type="text" id="text1" name="text1" value="<?=$_SESSION["yyy"];?>" />