//翻页的跳转
function GoToTheUrl(TheSelect)
{
	window.open(TheSelect.value,"_self");
}

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