document.write ("1001 ");