<?php

class self {
}

echo "Done\n";
?>