function addbookmark(a_bookmarkurl,a_bookmarktitle)
{
	if (document.all)
		window.external.AddFavorite(a_bookmarkurl,a_bookmarktitle)
}


function click_to_enlarge( a_img )
{
	var l_ImgObj = new Image
	l_ImgObj.src = a_img ;
	var a_imgurl = a_img ;

	document.write( '<a href=\"javascript:history.back();\">Back<br>' ) ;
	document.write( '<img src=\"'+a_imgurl+'\" alt=\"'+a_img+'\" border=0 align=top><br>' ) ;
	document.write( '<br>Back</a>' ) ;
}