// JavaScript Document
var initpj=0;
function change_style(id)
{
document.getElementById(id).className='grosrouge';
if(initpj==0)
{initpj=1;}
else
{
eval("document.getElementById('"+id_old+"').className='diapogris';")
}
id_old=id;

}