Front washer jets

[kevp2518]

does anybody know the diameter of the washer jet hose for the front jets?
Found a slip in the pipe and need to replace.
Thinking of going silicone rather than the plastic that is there atm but not sure if this is 3mm or 5mm

Thanks