//
// Additional header banner settings.
// MLB - 11/08/2002
//

var ICONS_ARRAY = [
	// Left image:
	'../images/palm.gif',
	// Left link:
	'../palm/index.htm',
	// Right image #1:
	'../images/javalogo.gif',
	// Right link #1:
	'../jlibs/index.htm',
	// Right image #2:
	null,
	// Right link #2:
	null,
	// Extra stuff:
	null,
];