if (document.images){
button1 = new Image(); button1.src="images/real-solutions.gif"; button2 = new Image(); button2.src="images/jsbor.gif";
button3 = new Image(); button3.src="images/jswtc.gif"; button4 = new Image(); button4.src="images/jsalp.gif";
button5 = new Image(); button5.src="images/jsros.gif"; button6 = new Image(); button6.src="images/jsmk.gif";
button9 = new Image(); button9.src="images/jsmay.gif"; button10 = new Image();
button11 = new Image(); button11.src="images/dst-middle.gif"; button12 = new Image(); button12.src="images/dst.gif";
button7 = new Image(); button7.src="images/heller-middle.gif"; button8 = new Image (); button8.src="images/heller.gif";

}