File indexing completed on 2024-05-26 04:02:01 

0001 v.setCursorPosition(0, 4);
0002 v.type('<');
0003 v.type(' ');
0004 v.type("ok;");