printf"<input name=user size=12 value='%s'>%s\n". Inserted in 6yth line above.