// JavaScript Document


resizeTo(1200,1000);