function doResize(){
document.location.href = document.location;
}