function butin()
    {
    document.image1.src="images/button.jpg";
    }
    function butout()
    {
    document.image1.src="images/button1.jpg";
    }