<?php
    define('BINN_DISTR_VERSION', '3.747');
?>