I thought Korea was on holiday

;)

No higher though, presently at 1.3349.