<?php highlight_file(__FILE__);