d=850;
function mermaid() { document.getElementById("m").style.color="rgb(" + d + "," + d + "," + d + ")"; d-=5; if(d>0) setTimeout('mermaid()', 10);}