:
s .* &9& 
T
s 9\{8000\} &\n 
T
P
P
d