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