#!/usr/bin/php -q
<?php
define("OUTPUT_DIR", "./images/");

define("FULL_IMAGE", "full.gif");
define("ZOOM", 2);
define("START_X_POS", 58);
define("START_Y_POS", 39);
define("START_X_ID", 5375);
define("START_Y_ID", -741);

$img = imagecreatefromgif( FULL_IMAGE );

$width = imagesx( $img );
$height = imagesy( $img );
$x_id = START_X_ID;
$y_id = START_Y_ID;


for ( $x = START_X_POS; $x < $width; $x += 128 ) {
  for ( $y = START_Y_POS; $y < $height; $y += 128 ) {
    $out = imagecreate( 128, 128 );
    echo "Copying ${x},${y}\n";
    imagecopy( $out, $img, 0, 0, $x, $y, 128, 128 );
    $filename = OUTPUT_DIR . $x_id . "_" . $y_id++ . "_" . ZOOM . ".gif";
    echo "Writing ${filename}\n";
    imagegif( $out, $filename );
    imagedestroy( $out );
  }
  $x_id++;
  $y_id = START_Y_ID;
}

imagedestroy( $img );

?>