 We did also get a reading of the UK monthly GDP, which came in slightly higher than expected. As a result, we are seeing small gains in cable today, 128.62 for the pound. Eurodollar, meanwhile, really much unchanged, 108.62.