' . file_get_contents('php://stdin'));