// What non-javascript browsers will see.