Hooray. EUR/USD sits at 1.2810.