else if ((firstByte & 0xff) == 137) PNG.load(pbis, p);
else if ((firstByte & 0xff) == 0xff) Platform.decodeJPEG(pbis, p);
else throw new JSExn("couldn't figure out image type from first byte");
else if ((firstByte & 0xff) == 137) PNG.load(pbis, p);
else if ((firstByte & 0xff) == 0xff) Platform.decodeJPEG(pbis, p);
else throw new JSExn("couldn't figure out image type from first byte");