function OpenWindow(filename, target, options)
/* ///////////////////////////////////////
// Deze functie opent de gegeven file in//
// een nieuw window met het gegeven doel//
// en gegeven window-opties.			//
/////////////////////////////////////// */
{
		open(filename, target, options);
		return;
}