function init() {			
			if (mtDropDown.isSupported()) {
				mtDropDown.initialize();				
			}
}	

	
	function doZoom(size){document.getElementById('zoom').style.fontSize=size+'px'}