<?php

include("functions.php");

echo double(4);

?>