Winning Euromillions ticket sold in Ireland

A lucky Irish person has won nearly 13 million euro’s in the Euromillions draw.
The jackpot of over 25 and a half million will be shared by winning tickets sold in Ireland and Spain.
It will leave each player with over 12.8 million euro’s. But, details of where and when the ticket was bought have not yet been released.
The winning numbers were 11, 23, 25, 32, and 37.
The Lucky Stars were 4 and 7.