document.write(' 7096 ');