if (browser) { number1 = new Image(); number1.src = "spookyhead.gif"; number2 = new Image(); number2.src = "spookyhead2.gif"; number3 = new Image(); number3.src = "spookyhead3.gif"; number4 = new Image(); number4.src = "spookyhead4.gif"; number5 = new Image(); number5.src = "spookyhead5.gif"; number6 = new Image(); number6.src = "spookyhead6.gif"; number7 = new Image(); number7.src = "spookyhead7.gif"; number8 = new Image(); number8.src = "spookyhead8.gif"; number9 = new Image(); number9.src = "spookyhead9.gif";}