var AcronymRow = new Array()
var Cached = false

function QuickSearch (value)
{
	if (!SearchList) return

	value = value.toLowerCase()

	if (!Cached) CacheRows()

	for (var c = 1; c != SearchList.length; c++)
	{
		if (AcronymRow[c]) AcronymRow[c].style.display =
			SearchList[c].indexOf (value) != -1 ?
			'' : 'none'
	}
}

function CacheRows()
{
	if (!SearchList) return
	for (var c = 1; c != SearchList.length; c++)
	{
		var row = document.getElementById ('acronym' + c)
		if (row) AcronymRow[c] = row
	}
	Cached = true
}