document.write(" 10000 " );