allow numeric chars in js variable names