提个问题，希望得到大家的帮助

<?php  
$s  =<<<  TEXT  
aaa"'123'"aaa  
TEXT;  
$ch  =  """;  
echo  "<input  value=\"".str_replace('"',$ch,$s)."\">";  
?>  
输出<input  value="aaa"'123'"aaa">