<?php
echo gettimeofday(true);
