var fontSize = 8;

function FontSizeSet()
	{
        var el, n = 1;
        while (el = document.getElementById('pagetext' + n++))
	       el.style.fontSize = fontSize + 'pt';
        return false;
	}

function SetFontLarger()
	{
	if (fontSize < 12) 
            fontSize++;
	return FontSizeSet();
	}
	
function SetFontSmaller()
	{
	if (fontSize > 7) 
            fontSize--;
	return FontSizeSet();
	}

function printWindow(){
   bV = parseInt(navigator.appVersion)
   if (bV >= 4) window.print('public/en_home.php')
}

var favoriteurl="http://gatequest.net"
var favoritetitle="GateQuest, Inc."

function addtoFavorites(){
if (document.all)
window.external.AddFavorite(favoriteurl,favoritetitle)
}