function launch(url) {

var param='resizable=no,status=no,location=no,toolbar=no,scrollbars=no,menubar=no,width=732,height=503 left=100,top=100' 
window.open(url, "hello" ,param);

}

//Below is the code that pre-loads the graphics 
{

//These are the large images
alt0 = new Image();
alt0.src = "images/allstar.gif";

alt1 = new Image();
alt1.src = "images/lotto.gif";

alt2 = new Image();
alt2.src = "images/hilo.gif";

//These are the first button graphics

graphic1= new Image();
graphic1.src = "images/allstar_up.gif";
graphic1on = new Image();
graphic1on.src = "images/allstar_ov.gif";

//These are the second button graphics 

graphic2= new Image();
graphic2.src = "images/lotto_up.gif";
graphic2on = new Image();
graphic2on.src = "images/lotto_ov.gif";

graphic3= new Image();
graphic3.src = "images/hilo_up.gif";
graphic3on = new Image();
graphic3on.src = "images/hilo_ov.gif";

//This is the function that calls for
//the change in the buttons 

}
function imageChange(imageID,imageName,imageID2,imageName2,imageID3,imageName3) { 

{
document.images[imageID].src = eval(imageName + ".src");
document.images[imageID2].src = eval(imageName2 + ".src");
//document.images[imageID3].src = eval(imageName3 + ".src");
}

}