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