button1_a= new Image();
button1_a.src = "wsimages/1.gif"
button1_b= new Image(); 
button1_b.src = "wsimages/1a.gif"

button2_a= new Image();
button2_a.src = "wsimages/2.gif"
button2_b= new Image();
button2_b.src = "wsimages/2a.gif"

button3_a= new Image();
button3_a.src = "wsimages/3.gif"
button3_b= new Image();
button3_b.src = "wsimages/3a.gif"

button4_a= new Image();
button4_a.src = "wsimages/4.gif"
button4_b= new Image();
button4_b.src = "wsimages/4a.gif"

button5_a= new Image();
button5_a.src = "wsimages/5.gif"
button5_b= new Image();
button5_b.src = "wsimages/5a.gif"

button6_a= new Image();
button6_a.src = "wsimages/6.gif"
button6_b= new Image();
button6_b.src = "wsimages/6a.gif"

button7_a= new Image();
button7_a.src = "wsimages/7.gif"
button7_b= new Image();
button7_b.src = "wsimages/7a.gif"

button8_a= new Image();
button8_a.src = "wsimages/8.gif"
button8_b= new Image();
button8_b.src = "wsimages/8a.gif"

button9_a= new Image();
button9_a.src = "wsimages/9.gif"
button9_b= new Image();
button9_b.src = "wsimages/9a.gif"