<?php class Ticket785 extends TPage { } ?>