// JavaScript Document

function bookmark(argVal)
{
var bookData = new Array();
bookData = argVal.split("|");
if (document.all)
window.external.AddFavorite(bookData[0], bookData[1]);
else
alert("Sorry. Non IE users must bookmark the pages manually by hitting <Ctrl-D>");
}