<!--

// The Large Type checkbox -----------------------------------------

if (checkCookie("TPCLargeType"))
{
  document.write ('<input type="checkbox" name="largetype_checkbox" onMouseUp="switchLargeTypeCookie()" checked>');
}
else document.write ('<input type="checkbox" name="largetype_checkbox" onMouseUp="switchLargeTypeCookie()">');

//-->
