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