()
| 55 | var yank = 0; |
| 56 | var mark = []; |
| 57 | function emptyBuffer() { buf = ""; } |
| 58 | function pushInBuffer(str) { buf += str; }; |
| 59 | function pushCountDigit(digit) { return function(cm) {count += digit;} } |
| 60 | function popCount() { var i = parseInt(count); count = ""; return i || 1; } |