if (document.getElementsByTagName && !document.all)
{
	document.all = document.getElementsByTagName("*");
}