document.write(' '
  + '<!-- lib/scripts.js  Ver 0.1 12/12/2002 -->'
  + ' '
  + '<script language="JavaScript">'
  + 'function AddFav()'
  + '{       window.external.AddFavorite(location.href, document.title);}'
  + ' '
  + 'function PrevPage()'
  + '{       history.go(-1);}'
  + '</script>'
  + '');