walaupun demikian, jika pencuri itu tertangkap, dia mesti menggantinya tujuh kali ganda dan dia mesti menyerahkan segala miliknya.