function changeFont(element,step)
{
    step = parseInt(step,10);
    var el = document.getElementById(element);
    var curFont = parseInt(el.style.fontSize,10);
    
	if(step == 0)
		el.style.fontSize = '13px';
	else
		el.style.fontSize = (curFont+step) + 'px';
}

function printDiv(id, pg)
{
	var oPrint, oJan;
	oPrint = window.document.getElementById(id).innerHTML;
	oJan = window.open(pg);
	oJan.document.write(oPrint);
	oJan.window.print();
	oJan.document.close();
	oJan.focus();
}