function resize()
{
 document.location.reload(); }
 window.onresize = resize;