_:b399802797 "fun" . _:b399802797 "1"^^ .