document.write(" 20000 " );