// JavaScript Document behtimes
function home(blu2,blu1)
{
var bl1 = document.getElementById(blu2);
if(blu1==1)
bl1.className="home-out";
else
bl1.className="home-in";
}

function tab(blu2,blu1)
{
var tabbg = document.getElementById(blu2);
if(blu1==1)
tabbg.className="pro-tab-bg-o";
else
tabbg.className="pro-tab-bg";
}