printf"%03d",<>