<?php 
  $Cryst_Version    = '4.1.31';
  $Cryst_Date       = '4 May 2026';
  $Cryst_Size       = '254 kB';
?>
