When extension 2011000 dials 4041200, how are digits manipulated in R1 so they are presented correctly at TK2?