function MM_openBrWindow(theURL,winName,features){ 
window.open(theURL,winName,features);
}

function fontsize(size){
document.getElementById('textflag').style.fontSize=size+'px'
}