function setImage1_1 (IMG) { document.button1_1.src = IMG }
function setImage1_2 (IMG) { document.button1_2.src = IMG }
function setImage1_4 (IMG) { document.button1_4.src = IMG }
function setImage2_2 (IMG) { document.button2_2.src = IMG }
function setImage2_3 (IMG) { document.button2_3.src = IMG }
function setImage3_1 (IMG) { document.button3_1.src = IMG }
function setImage3_3 (IMG) { document.button3_3.src = IMG }
function setImage3_4 (IMG) { document.button3_4.src = IMG }