"; $out=stripslashes($out); echo("$out"); ?>