run($_SERVER['argv']);