function refresh(){ setTimeout("write()", 10000); }  // Correct user overwrites