function enter(pi) {
	pi.playPortalSound(); pi.warp(222010200, "east00");
	return true;
}