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

0001 v.setCursorPosition(6,23);
0002 v.type("(");
0003 v.type("ok");
0004 
0005 v.setCursorPosition(5,17);
0006 v.type("(");
0007 v.type("ok");
0008 
0009 v.setCursorPosition(4,17);
0010 v.type("(");
0011 v.type("ok");