function enter(pi) { pi.playPortalSound(); pi.warp(100030100); return true; }