#declare galaxy_seed = 123456789; 
#include "GALAXY.INC"