js stubs: getElementById returns nullable result