// JavaScript Document

var NeueBreite = 1024;
var NeueHoehe = 768;

 
function GroesseVeraendern()
{
window.resizeTo(NeueBreite, NeueHoehe);
}