Source file

The original php code