How much did Brian’s JPEG cost again?