How Big Is A Pocket Dimension