<?php

class test {
    function __isset() {
    }
}

echo "Done\n";
?>