This is the CORAL browser code