function hide_all_tools(name) {

	tArray = new Array(7);

tArray[1] = "Size ";
tArray[2] = "Orientation ";
tArray[3] = "Brightness ";
tArray[4] = "Colour_Changes ";
tArray[5] = "Filter_Effects ";
tArray[6] = "Format ";
tArray[7] = "Other ";

	for (x = 1; x <= 7; x++) {
		if (tArray[x] != name) {
			tMenu = document.getElementById (tArray[x]).style;
			tWords = document.getElementById (tArray[x] + '_w').style;
			tMenu.display = "none";
			tWords.display = "block";
		}
	}
}