var a = 12;
function ts( trgt,inc ) {
if (inc==1)
document.getElementById(trgt).style.fontSize = a--;
if (inc==0)
document.getElementById(trgt).style.fontSize = a++;	
}