export var json: string;