<?php /* -*- php -*- */