File indexing completed on 2024-11-24 03:39:37

0001 v.setCursorPosition(1, document.lineLength(1));
0002 v.enter();
0003 v.type("finally:");