function popen(p, x, y)
{
window.open(p, '_blank', 'toolbar=0, location=0, directories=0, status=0, scrollbars=0, resizable=0, copyhistory=0, menuBar=0, width=' + x +', height=' + y);
return(false);
}

function addToFavorites(anchor)
{
if (window.external)
window.external.AddFavorite(anchor.getAttribute('href'), anchor.getAttribute('title'));
}