_:b399232846 "fun" . _:b399232846 "0"^^ .