3

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