reformatted with JSTools extension for notepad++