# echo.py
import sys
def echo( STRING="" ):
        ECHO=sys.stdout.write( STRING )
        # sys.stdout.flush()
printf=echo