function writeWALink(url) {
url2 = url;
while (url2.search('#') != -1){
  url2= url2.replace('#','%23') ;
}
WALink='<sup>*</sup><font size=\"-1\"><a href=\"http://b.hatena.ne.jp/entry/' + url2 + '\" target=\"_blank\">はてなブクマ</a></font> <font color=\"blue\" size=\"-1\">保存庫</font><a href=\"http://www.h5.dion.ne.jp/~wing-x/kansai/lib/develop/linkto_wa.html\" target=\"_blank\" title=\"Help\">?</a>(<a href=\"http://web.archive.org/web/*/' + url + '\" target=\"_blank\">wayback</a>-<a href=\"http://www.google.com/search?hl=ja\&q=cache:' + url + '\" target=\"_blank\">GoogleCache</a>)';
document.write(WALink);
return;
}