// JavaScript Document

document.write('<div class="page_top">');
document.write('<div id="go_home"><a href="/en/"><span class="hidden">HOME</span></a></div><div id="en_go_top"><a href="#header"><span class="hidden">To Page Top</span></a></div>');
document.write('<br clear="all" />');
document.write('</div>');