/*
The following script is to reload the window on resize.
*/

function pageResize() {
location.href=location.href;
}

window.onresize=pageResize;