document.write('<link rel="shortcut icon" href="favicon.ico" >');
document.write('<link rel="icon" type="image/gif" href="animated_favicon1.gif" >');