在PHP网页中，如何把$_session["yyy"]赋值到一个文本框中？

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

或者

<input type="text" id="text1" name="text1" value="<?=$_SESSION["yyy"];?>" />