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