//
// standard javascript for rollover buttons

// image preload
if ( document.images ) {
	im = new Array();
	for ( i=0 ; i<16 ; i++ ) { im[i] = new Image() ; }
	im[0].src = "pix/nav/iphome.gif";
	im[1].src = "pix/nav/ishome.gif";
	im[2].src = "pix/nav/ipnew.gif";
	im[3].src = "pix/nav/isnew.gif";
	im[4].src = "pix/nav/ipindex.gif";
	im[5].src = "pix/nav/isindex.gif";
	im[6].src = "pix/nav/ipcontac.gif";
	im[7].src = "pix/nav/iscontac.gif";
	im[8].src = "pix/nav/iphelp.gif";
	im[9].src = "pix/nav/ishelp.gif";
	im[10].src = "pix/nav/ipup.gif";
	im[11].src = "pix/nav/isup.gif";
	im[12].src = "pix/nav/ipupnt.gif";
	im[13].src = "pix/nav/isupnt.gif";
	im[14].src = "pix/nav/ipnextnt.gif";
	im[15].src = "pix/nav/isnextnt.gif";
}

// imageswap function
function ro(button,state) { 
	if ( document.images ) {
	   document[button].src = "pix/nav/i" + state + button + ".gif"  ;
	} 
}