Workers pull a dead crocodile from a pool in Beihai in southern China's Guangxi Zhuang Autonomous Region on Saturday night, April 21, 2007. The crocodile was shot to recover evidence of what happened to a 9-year-old boy after he fell into the pool on Friday. Medical experts confirmed the crocodile ate the boy after they found human remains in the crocodile's stomach. The local forestry department approved of the shooting. [Photo: thebeijingnews.com]

A crocodile was killed by snipers on Saturday to recover evidence of Friday's tragedy in southern China's Guangxi Zhuang Autonomous Region.

The crocodile was shot dead at 8 p.m. Saturday with approval of the local forestry department.

The snipers lured the crocodiles with pork and shoot one that crawled ashore to death with seven bullets.

Legal medical experts anatomized body of the creature and found remains of a human being, therefore confirmed the missing child was eaten by the crocodiles.

The tragedy occurred at about 6 p.m. on Friday, when a pupil surnamed Liu and three other children from Xiantian Primary School climbed over the fence of a crocodile pool which had been temporarily closed.

The children shot the animals with catapults and beat them with wooden sticks. One of the irritated alligators bit Liu's clothes and dragged him into water, where he was eaten by a swarm of alligators.

The pool, which had been used to stage crocodile shows, is located in a recreational park in a holiday resort called Yintan, or Silver Beach, in Beihai city of Guangxi. It had been sealed off for auction.

Local residents said owner of the park had hired a keeper for the crocodiles. It is not known why the man was not present when the accident happened.

The manager and the keeper of the alligator pool have been held by local police for further investigation.