_:b400585296 "00s" . _:b400585296 "13"^^ .