// js11 top bits
// currently no other JS11 functions

// js_level set to 11
js_level=11;