document.write(' 7002 ');