How long does it take to cook a pig in a china box?