function resize_page()
{
window.resizeTo(800,800)
}