function enter(pi) {
    pi.playPortalSound();
    pi.warp(920010300, 1);
    return true;
}