function setCloudSize()
    {
      lsize=0;
                for (i=0; i<document.getElementById("cloud").getElementsByTagName("a").length; i++)
                    {
                        min=9;
                        max=14;
                        do  {
                            size=Math.round(Math.random()*(max-min))+min;
                        }while(size==lsize)
                            lsize=size;
                        document.getElementById("cloud").getElementsByTagName("a")[i].style.fontSize=size+'px';
                        if (i%2==0)document.getElementById("cloud").getElementsByTagName("a")[i].style.fontWeight='bold';
                    }
    }