_:b401496613 "80"^^ . _:b401496613 "alternative" .