//---------------------------------------



function change_tab(num)
{

if (document.getElementById("tab" + num).style.display=="none")
{
document.getElementById("tab" + num).style.display=""
}

else
{
document.getElementById("tab" + num).style.display="none";
}


}

function redirect(url)
{
window.location=url
}



//---------------------------------------





function no_error()
{ return true; }
window.onerror=no_error;
//-->