//var flashcolor="#E87400"
var flashcolor="black";
var flashinterval=1000

function colore1(){
document.getElementById("lamp").style.color = "rgb(51,51,153)";
attesa = window.setTimeout("colore2()",1000);
}
function colore2(){
document.getElementById("lamp").style.color = flashcolor 
attesa = window.setTimeout("colore1()",1000);
}
function avvia(nuovo)
{
attesa = window.setTimeout("colore1()",flashinterval);
}