modulo(fibonacci(1000), 997)