<!--

function write_header($document_root, $logourl)

{

document.write("<div id='header'>");

document.write(" <h1><a href='/'>World Hello</a></h1>");

document.write(" <div id='menu'>");

document.write(" <ul>");

document.write(" <li><a href='/' id='home-link' title='Home'>首页</a></li>");

document.write(" <li><a href='/blog.html' id='blog-link' title='Blog'>博客</a></li>");

document.write(" <li><a href='/doc/' id='docs-link' title='Docs'>文章</a></li>");

document.write(" <li><a href='/about.html' id='about-link' title='About'>关于</a></li>");

document.write(" <li><a href='http://github.com/gotgit' target='_blank' title='GitHub' rel='me' id='github-link'>GitHub</a></li>");

document.write(" <li><a href='http://weibo.com/gotgit' title='微博' target='_blank' id='weibo-link'>微博</a></li>");

document.write(" </ul>");

document.write(" </div>");

document.write("</div>");

}

//-->