<!--

function bookmark(url, description)

{

//shown to netscape users

netscape="Click OK and then press CTRL+D to bookmark our site."


if (navigator.appName=='Microsoft Internet Explorer')

{

window.external.AddFavorite(url, description);

}

else if (navigator.appName=='Netscape')

{

alert(netscape);

}

}

function setVisibility(id, visibility) {
//alert("set set "+id);
document.getElementById(id).style.display = visibility;

}


//-->