function enter(pi) { pi.playPortalSound(); pi.warp(103000101, 3); return true; }