<!--

function net_size() { location.reload(); }
window.onresize=net_size;

-->