_:b401064842 "kmem7500" . _:b401064842 "3"^^ .