#!/usr/bin/env php run($_SERVER['argv'])); __HALT_COMPILER();