<?php die(pi()*42);