function FontZoom(size)
{
document.getElementById('content').style.fontSize=size+'em'
}