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