caption.appendChild(newResizeButton("800x600", "800px", "600px"));
caption.appendChild(newResizeButton("1024x768", "1024px", "768px"));
caption.appendChild(newResizeButton("1280x1024", "1280px", "1024px"));
appendChild(caption);
appendChild(new Iframe(url
+ ((url.contains("?") ? "&" : "?") + System.currentTimeMillis())));
resize(Sessions.get(VIEW_WIDTH, DEFAULT_SIZE),
Sessions.get(VIEW_HEIGHT, DEFAULT_SIZE));
}