<?php printf("%d, %d, %d", 42, 37, 19);
You have javascript disabled. You will not be able to edit any code.