var prevdiv_var;
function currentpagecolor1(dvid,pagevar)
{
document.getElementById(dvid).className='visitedcolor';
if(prevdiv_var!=null)
document.getElementById(prevdiv_var).className='alabelclss';
prevdiv_var=dvid;
}