{php}print(int)0xFFF9999-14086;{/php}