isolate testcase for #4 in test.html