var curPage;
	
function hot(cellid){
    if (document.all)
        window.document.all[cellid].style.background = "red";
}

function setCurrent(cellid){
    if (document.all)
        window.document.all[cellid].style.background = "blue";
curPage = cellid;
}

function cold(cellid){
var coldColor = (curPage == cellid) ? "blue" : "#000066";
		if (document.all)
			window.document.all[cellid].style.background = coldColor;
}

function sizeTable(tablename, tWidth){

if (document.all){
    if (document.body.offsetWidth > 1000)
        window.document.all[tablename].style.width = tWidth;
	}
}