function enter(pi) {
	pi.playPortalSound(); pi.warp(240020401,"in00");
        return true;
}