#767 767 <HPString>

Maybe we should call him, then.