document.write(' 1001 ');