function refresh() {
window.location.reload();
}

function wide() {
return window.innerWidth != null? window.innerWidth: document.body != null? document.body.clientWidth:null;
return 800;
}

function high() {
return window.innerHeight != null? window.innerHeight: document.body != null? document.body.clientHeight:null;
return 600;
}