import * as portal_white from './portal_white.js';
import * as portal_blue from './portal_blue.js';
import * as portal_purple from './portal_purple.js';
import * as portal_yellow from './portal_yellow.js';
import * as portal_black from './portal_black.js';
import * as portal_brown from './portal_brown.js';
import * as portal_green from './portal_green.js';
import * as portal_orange from './portal_orange.js';
import * as portal_pink from './portal_pink.js';
import * as portal_red from './portal_red.js';
portal_white 
portal_blue 
portal_purple 
portal_yellow 
portal_black 
portal_brown 
portal_green 
portal_orange 
portal_pink 
portal_red