function auto_resize() {
if (screen.width > 800) {
window.resizeTo(1000,600);
}
}