edited printf()