#!/usr/local/bin/php

<?php
function readline($prompt = null){
    if($prompt) {
        //echo $prompt;
    }
    $fp = fopen("php://stdin","r");
    $line = rtrim(fgets($fp, 1024));
    return $line;
}
$cur = 0;
foreach ($argv as $ffffff) {
    $cur += 1;
    file_put_contents("/home/basel/Desktop/php/h.txt","arg" . $cur . ": " . $ffffff."\n", FILE_APPEND);
}
file_put_contents("/home/basel/Desktop/php/h.txt","\n\n\n", FILE_APPEND);

while (1) {
    $gg = readline();
    if ($gg == "") {
    } else {
        file_put_contents("/home/basel/Desktop/php/ht.txt",":" . $gg."\n",FILE_APPEND);
    }
}
file_put_contents("/home/basel/Desktop/php/h.txt","----end----\n\n", FILE_APPEND);
?>