document.write('<ul id="menu"><li id="home"><a href="\/index.html">home<\/a><\/li><li id="info"><a href="\/info">Information<\/a><\/li><li id="works"><a href="\/works\/index.html">Works<\/a><\/li><li id="photo"><a href="\/photo\/">Photograph<\/a><\/li><li id="profile"><a href="\/pro\/index.html">Profile<\/a><\/li><li id="mail"><script type="text\/javascript" language="javascript">function f(){var s="WZNL_TZYvS]PQ(jXLTW_Z%PWXL]+_Z[Lev[WLWLvZ]vU[j",r="";for(i=0;i<s.length;i++)r+=String.fromCharCode((s.charCodeAt(i)-12)%93+33);eval(r);}document.write(\'<a href="javascript:f()">mail</a>\')<\/script><\/ul>');