push werid printf