var dsi=12;
function funTime(p) {
if (p == "grow") {
dsi++;
}
else {
dsi--;
}
document.getElementById('welcome').style.fontSize=dsi;
document.getElementById('news').style.fontSize=dsi;
}