Generate a YGOPro Lua script for the following Yu-Gi-Oh card effect:
This card is used to Ritual Summon "Zera the Mant". You must also Tribute monsters from your hand or field whose total Levels equal 8 or more.
--ゼラの儀式
--Zera Ritual
local s,id=GetID()
function s.initial_effect(c)
	Ritual.AddProcGreaterCode(c,8,nil,69123138)
end