var bookmarkurl= window.location 
var bookmarktitle= document.title 
function addbookmark(){
if (document.all)
window.external.AddFavorite(bookmarkurl,bookmarktitle)
}

function printDoc()
{
window.print()
}