function doc(id)
{
if (document.all)
	return document.all[id];
else if (document.getElementById)
	return document.getElementById(id);
else if (document.layers)
	return document.layers[id];
}