document.write(' 7001 ');