function varitext(text)
    	{
		text=document
		print(text)
		}

	function setBookmark(url,str)
		{
		if(str=='')str=url;
		if (document.all)window.external.AddFavorite(url,str);
		else alert('Press CTRL and D to add a bookmark to:\n"'+url+'".');
		}