function fontZoom(size)
{
document.getElementById('class_Joke_con').style.fontSize=size+'px';
}