// scelta foglio di stile
if(document.all){
document.write("<link rel='stylesheet' href='style/ie.css' type='text/css'>");
}
else { // 
document.write("<link rel='stylesheet' href='style/ff.css' type='text/css'>");
}