"; if ($pid) { echo ""; } echo ""; echo ""; exit; }