subset of javascript