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