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

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

或者  

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