WallTexture "SKY510", 1024, 512
{
	Patch "PVSK00", 0, 0
	Patch "PVSK00", 512, 0
	Patch "PVSK00", 256, 0
	Patch "PVSK00", 768, 0
	Patch "PVSK00", 128, 0
	Patch "PVSK00", 640, 0
	Patch "PVSK00", 384, 0
	Patch "PVSK00", 896, 0
	Patch "GFSK02", 0, 195
}

WallTexture "SKY511", 1024, 512
{
	Patch "PVSK00", 0, 0
	Patch "PVSK00", 512, 0
	Patch "PVSK00", 256, 0
	Patch "PVSK00", 768, 0
	Patch "PVSK00", 128, 0
	Patch "PVSK00", 640, 0
	Patch "PVSK00", 384, 0
	Patch "PVSK00", 896, 0
	Patch "GFSK02", 0, 195
	Patch "PEGO00", 452, 90
}

WallTexture "SKY512", 1024, 512
{
	Patch "PVSK00", 0, 0
	Patch "PVSK00", 512, 0
	Patch "PVSK00", 256, 0
	Patch "PVSK00", 768, 0
	Patch "PVSK00", 128, 0
	Patch "PVSK00", 640, 0
	Patch "PVSK00", 384, 0
	Patch "PVSK00", 896, 0
	Patch "GFSK02", 0, 195
	Patch "PEGO01", 452, 90
}