curious: why switch from default port 80 to 12345?  suggest consistency might be good in this respect