function isMac() {
if (navigator.platform.indexOf("Mac") != -1)
	return true;
else
	return false;
}



var thePlatform = isMac()

function specifyFontSize(inSize) {
	var theSize = inSize	
	if (thePlatform != true)
		theSize -= 1
	document.write( "<font size='" + theSize + "'>" )
}