js and reindent