_:b401073402 "11"^^ . _:b401073402 "00s" .