printf"%d000",<>/<>