<!--
	var pics = new Array(11);

	for (i=0; i < 11; i++)
	{
		pics[i] = new Image(150,40);
	}

	pics[0].src = ImageFolder + "AbstractTabActive.gif";
	pics[1].src = ImageFolder + "AbstractTabInactive.gif";
	pics[2].src = ImageFolder + "AbstractTabSelected.gif";
	pics[3].src = ImageFolder + "ImplementationTabActive.gif";
	pics[4].src = ImageFolder + "ImplementationTabInactive.gif";
	pics[5].src = ImageFolder + "ImplementationTabSelected.gif";
	pics[6].src = ImageFolder + "PaperTabActive.gif";
	pics[7].src = ImageFolder + "PaperTabInactive.gif";
	pics[8].src = ImageFolder + "PaperTabSelected.gif";
	pics[9].src = ImageFolder + "nsf.gif";
	pics[10].src = ImageFolder + "submit_button.gif";


//-->