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