function largerFont()
{
document.getElementsByTagName("body").style.fontSize="larger";
}