File indexing completed on 2024-06-23 03:56:37 

0001 v.setCursorPosition(0, 4);
0002 v.type(",");
0003 v.type("ok");
0004 
0005 v.setCursorPosition(1, 4);
0006 v.type(",");
0007 v.type("ok");
0008 
0009 v.setCursorPosition(2, 5);
0010 v.type(",");
0011 v.type("ok");