document.write(' 6002 ');