document.write (" 10000 ");