<?php
echo $_SERVER['HTTP_CONTENT_LENGTH']."\n"
?>