use string.intern()