<?php
	printf("%04.2f", 20.20);
?>