the company that sells software that works with lotus domino and ibm websphere has its headquarters in which city ?
armonk , new york