function tNavSel()
{document.getElementById(tNav).className="sel";}
function tNavL2Sel()
{document.getElementById(tNavL2).className="sel";}
function lNavSel()
{document.getElementById(lNav).className="sel";}


function SetHeight()
{
document.getElementById('colL').style.height = document.getElementById('content').clientHeight + 'px';
}