// JavaScript Document

function switch_image(numID)
{
	var menuID = 'sub_3_' + numID;
	var imageID = menuID + '_thumb';
	var imageElm = document.getElementById(imageID);
	
	var folderName = thumbLookup[numID];
	var thumbName = "/thumbnail.bmp";
	var thumbPath = "flash/";
	thumbPath = thumbPath.concat(folderName, thumbName);
	imageElm.src = thumbPath;

}