Add integers with old-school HTML