:l T8487.hs
:b 5
f