<?php
	printf("%1$04f.2", 20.20);
?>