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));