// JavaScript Header
document.write("<img src='../images/logo.gif' alt='TIENS Logo'>");