function js_style()   
    {  
    //font styles added by JS:  
     text.style.fontSize = "14pt";  
     text.style.fontFamily = "Comic Sans MS";  
     text.style.color = "green";  
    }