// JavaScript Document

function tabHover(id, newID) {
	element = document.getElementById(id);
	element.id = newID;
}