function ts( targetDiv,sizeInc ) {
//	if (!document.getElementById) return
//	var d = document,divElement = null,sz = startSize,i,j,cTags;
//		
//	if ( !( divElement = d.getElementById( targetDiv ) ) ) divElement = d.getElementsByTagName( targetDiv )[ 0 ];

//	divElement.style.fontSize = size[ sizeInc ];
	
//	for ( i = 0 ; i < tags.length ; i++ ) {
//		cTags = divElement.getElementsByTagName( tags[ i ] );
//		for ( j = 0 ; j < cTags.length ; j++ ) cTags[ j ].style.fontSize = size[ sizeInc ];
//	}

    //Specify affected tags. Add or remove from list:
    var tags = new Array( 'div','td','tr');

    //Specify spectrum of different font sizes:
    var size = new Array( '12px','14px','18px');
    var startSize = getCookie("textsize");
    
    document.getElementById( targetDiv ).style.fontSize = size[ sizeInc ];
    
    //alert('1');
	deleteCookie("textsize");
    //alert('2');
	setCookie("textsize", sizeInc,10);
}

function adjustfontsize() {
	divElement = document.getElementById('column-middle-content')
	divElement.style.fontSize = getCookie("textsize");
}

function setCookie(name,value,days) {
    if (days) {
        //alert('3');
        var date = new Date();
        date.setTime(date.getTime()+(days*24*60*60*1000));
        var expires = "; expires="+date.toGMTString();
        //alert(date.toGMTString());
    }
    else var expires = "";
    document.cookie = name+"="+value+expires+"; path=/";
}

function getCookie(name) {
    var name_eq = name + "=";
    var ca = document.cookie.split(';');
    for(var i=0;i < ca.length;i++) {
        var c = ca[i];
        while (c.charAt(0)==' ') c = c.substring(1,c.length);
        if (c.indexOf(name_eq) == 0) return c.substring(name_eq.length,c.length);
    }
    return null;
}

/**
 * Deletes the specified cookie.
 *
 * name      name of the cookie
 * [path]    path of the cookie (must be same as path used to create cookie)
 * [domain]  domain of the cookie (must be same as domain used to create cookie)
 */
function deleteCookie(name, path, domain)
{
    if (getCookie(name))
    {
        document.cookie = name + "=" + 
            ((path) ? "; path=" + path : "") +
            ((domain) ? "; domain=" + domain : "") +
            "; expires=Thu, 01-Jan-70 00:00:01 GMT";
    }
}