use processId in HTML ids so they are more unique (closes #62)