// JavaScript Document

function menu()
{

str ="<div><img src='img/hedbanner1.jpg'></div>"
str = str +"<div id='ddtabs4' class='ddcolortabs'>"
str = str + "<ul>"
str = str + "<li><a href='default.htm' rel='ct1'><span>Accueil &nbsp;<br><font color='Yellow'>Home</font></span></a></li>"
str = str + "<li><a href='search.asp' rel='ct2'><span>Faire une recherche<br><font color='Yellow'>Make a search</font></span></a></li>"
str = str + "<li><a href='tips.htm' rel='ct3'><span>Conseils aux débutants<br><font color='Yellow'>Tips for beginners</font></span></a></li>"
str = str + "<li><a href='thanks.htm'><span>Remerciements<br><font color='Yellow'>Many thanks to</font></span></a></li>"
//str = str + "<li><a href='http://tools.dynamicdrive.com/imageoptimizer/'><span>Gif Optimizer</span></a></li>"
str = str + "</ul>"
str = str + "</div>"
str = str + "<div class='ddcolortabsline'>&nbsp;</div>"
document.getElementById("d1").innerHTML=str;

} 

function viewrecord(a)
{
window.location=a;
}

function printrecord(p)
{
win2=open(p,"newpage", "height=700, width=900, scrollbars=yes,resizable=yes, menubar=yes");
}