six + thirteen =