an html json interface