3 ms·

Would love to see 0118 999 881 999 119 725 3 used here. Google already special-cases it in the dialler.