Evaluated proc paste str {http post "http://127.0.0.1/ok.php" "data=[urlencode $str]"; . http://127.0.0.1/ok.txt}