| var v0, v1, v2, v3, v4, v5, v6, v7, v8, v9; | |
| var v10, v11, v12, v13, v14, v15, v16, v17, v18, v19; | |
| var v20, v21, v22, v23, v24, v25, v26, v27, v28, v29; | |
| var v30, v31, v32, v33, v34, v35, v36, v37, v38, v39; | |
| var v40, v41, v42, v43; | |
| function f() {} | |
| v1 = new Date(0); | |
| v1.setMilliseconds(12); | |
| v2 = eval("''"); | |
| v3 = ""; | |
| f((v2 + v3).indexOf(v3)); |