WALA/com.ibm.wala.cast.js.test.data/examples-src/tests/date-property.js

var t = "this is a long string";

var bar = t.substring(0, 10);

var d = new Date("October 13, 1975 11:13:00");

var document = {  
	fun: function _fun(x) {
		return x;
	}
};

document[d](bar);