function ToggleArchaicTools(ArchaicTools)
{
var ArchaicTools = document.getElementById (ArchaicTools);
if (ArchaicTools.style.display == 'none')
{
ArchaicTools.style.display = 'inline';
}
else
{
ArchaicTools.style.display = 'none';
}
}