<?php 
  $Cryst_Version    = '4.1.32';
  $Cryst_Date       = '18 Aug 2026';
  $Cryst_Size       = '400 kB';
?>
