function playshing()
{
document.shingsound.play();
}