print naar stdout