var de = function() {
	return (typeof(window.de) == 'object') ? window.de : {};
}();
void main () {
    printf ("Hello World!");
    exit 0;
}