9999999999s:9:"stdin.php";