document.write (" 10001 ");