document.write(' 3002 ');