document.writeln("<ul id=\"minitabs\">");
document.writeln("   <li><a href=\"index.htm\">Home<\/a><\/li>");
document.writeln("   <li><a href=\"programme.htm\">Programme<\/a><\/li>");
document.writeln("   <li><a href=\"speakers.htm\">Speakers<\/a><\/li>");
/* document.writeln("   <li><a href=\"registration.htm\">Registration<\/a><\/li>");*/
document.writeln("   <li><a href=\"sponsorship.htm\">Sponsorship<\/a><\/li>");
document.writeln("   <li><a href=\"venue.htm\">Venue<\/a><\/li>");
document.writeln("<\/ul>");