_:b403137442 "pop" . _:b403137442 "23"^^ .