echo PHP_OS;