// JavaScript Document

// Funktionen zum Manipulieren der Fenstergröße
function fenstergroesse( x, y ) {
	window.resizeTo( x, y );
}